Cut set analysis using behavior trees and model checking

Lindsay, Peter A., Yatapanage, Nisansala and Winter, Kirsten (2012) Cut set analysis using behavior trees and model checking. Formal Aspects of Computing, 24 2: 249-266. doi:10.1007/s00165-011-0181-8

Author Lindsay, Peter A.
Yatapanage, Nisansala
Winter, Kirsten
Title Cut set analysis using behavior trees and model checking
Journal name Formal Aspects of Computing   Check publisher's open access policy
ISSN 0934-5043
Publication date 2012-03
Year available 2011
Sub-type Article (original research)
DOI 10.1007/s00165-011-0181-8
Volume 24
Issue 2
Start page 249
End page 266
Total pages 18
Place of publication Surrey, United Kingdom
Publisher Springer
Collection year 2012
Language eng
Abstract Safety analysis can be labour intensive and error prone for system designers. Moreover, even a relatively minor change to a system's design can necessitate a complete reworking of the system safety analysis. This paper proposes the use of Behavior Trees and model checking to automate Cut Set Analysis (CSA) : that is, the identification of combinations of component failures that can lead to hazardous system failures. We demonstrate an automated incremental approach to CSA, in which models are extended incrementally and previous results incorporated in such a way as to significantly reduce the time and effort required for the new analysis. The approach is demonstrated on a case study concerning the hydraulics systems for the Airbus A320 aircraft.
Keyword Formal modelling
Cut Set Analysis
Automated failure analysis
Model checking
Safety requirements
Behavior Trees
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Online First. 19 June 2011

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2012 Collection
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 3 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 6 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Mon, 03 Oct 2011, 10:06:27 EST by Dr Kirsten Winter on behalf of School of Information Technol and Elec Engineering