Model-based Safety Risk Assessment using Behaviour Trees

Lindsay, Peter A., Winter, Kirsten and Kromodimoeljo, Sentot (2012). Model-based Safety Risk Assessment using Behaviour Trees. In: Peter A. Lindsay, Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering, proceedings. Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering (SETE APCOSE 2012), Brisbane, Qld., Australia, (). 1 - 2 May 2012.

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads
Author Lindsay, Peter A.
Winter, Kirsten
Kromodimoeljo, Sentot
Title of paper Model-based Safety Risk Assessment using Behaviour Trees
Conference name Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering (SETE APCOSE 2012)
Conference location Brisbane, Qld., Australia
Conference dates 1 - 2 May 2012
Proceedings title Engineering/Test and Evaluation Conference and 6th Asia Pacific Conference on Systems Engineering, proceedings
Place of Publication Manuka, ACT, Australia
Publisher Systems Engineering Society of Australia
Publication Year 2012
Sub-type Fully published paper
Open Access Status
ISBN 9780975202869
Editor Peter A. Lindsay
Total pages 15
Collection year 2013
Language eng
Abstract/Summary For complex engineered systems, it is important to conduct technical risk assessment early in the system development life-cycle, in order to identify critical system requirements, such as safety requirements, that should be included in design. This paper proposes a model-based approach to such assessment, which can be applied from the system requirements analysis stage onwards. The approach starts with the application of the Behaviour Trees modelling notation to natural language functional requirements. The BT model is then extended to include the events and conditions that might contribute to hazards, and automated model checking is used to identify the mechanisms by which component or subsystem failures can lead to hazardous system failures. The approach is intended to be used iteratively in design and analysis, to assist system designers in assessing the effectiveness of system safety requirements. A hypothetical bushfire-fighting management system is used to illustrate the approach.
Q-Index Code E1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes A Conference of The Systems Engineering Society of Australia (SESA) and The Southern Cross Chapter of The International Test and Evaluation Association (ITEA) and INCOSE Region VI. In conjunction with the 6th Asia Pacific Conference on Systems Engineering (APCOSE 2012)

 
Versions
Version Filter Type
Citation counts: Google Scholar Search Google Scholar
Created: Thu, 28 Mar 2013, 13:43:35 EST by Professor Peter Lindsay on behalf of School of Information Technol and Elec Engineering