Cut Set Analysis using Behavior Trees and model checking-Reference-Cited by-同舟云学术

Cut Set Analysis using Behavior Trees and model checking

Published:2012-03 Issue:2 Volume:24 Page:249-266
ISSN:0934-5043
Container-title:Formal Aspects of Computing
language:en
Short-container-title:Form. Asp. Comput.

Author:

Lindsay Peter A.¹,Yatapanage Nisansala²,Winter Kirsten¹

Affiliation:

1. School of IT&EE, The University of Queensland, 4072, Brisbane, Qld, Australia

2. Institute for Integrated and Intelligent Systems, Griffith University, 4111, Nathan, Qld, Australia

Abstract

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.

Publisher

Association for Computing Machinery (ACM)

Subject

Theoretical Computer Science,Software

Link

http://link.springer.com/content/pdf/10.1007/s00165-011-0181-8.pdf

Reference42 articles.

1. The design-methods comparison project

2. Bozzano M Cavallo A Cifaldi M Valacca L Villafiorita A (2003) Improving safety assessment of complex systems: An industrial case study. In: Araki K Gnesi S Mandrioli D (eds) Proc. Int. Symp. of Formal Methods Europe (FME). LNCS vol 2805. Springer Heidelberg pp 208–222

3. Bieber P Castel C Seguin C (2002) Combination of fault tree analysis and model checking for safety assessment of complex system. In: Grandoni F (ed) Proc. 4th European Dependable Computing Conference (EDCC). LNCS vol 2485. Springer Berlin pp 19–31

4. Engineering Automotive Software

5. Bozzano M Villafiorita A (2003) Improving system reliability via model checking: the FSAP/NuSMV-SA safety analysis platform. In: Proc. Int. Conf. on Computer Safety Reliability and Security (SAFECOMP). LNCS vol 2788. Springer Berlin pp 49–62

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Simulation and real time analysis of network protection tripping strategy based on behavior trees;Cluster Computing;2017-10-13

2. Semantic Network Model: A Reasoning Engine for Software Requirements;2015 20th International Conference on Engineering of Complex Computer Systems (ICECCS);2015-12

3. Next-preserving branching bisimulation;Theoretical Computer Science;2015-08

4. Automatic Generation of Minimal Cut Sets;Electronic Proceedings in Theoretical Computer Science;2015-06-10

5. Formalisation of the integration of behavior trees;Proceedings of the 29th ACM/IEEE international conference on Automated software engineering;2014-09-15