Safety assessment using Behavior Trees and Model Checking

File Size Format
69771_1.pdf 276Kb Adobe PDF View
Title Safety assessment using Behavior Trees and Model Checking
Author Lindsay, Peter A.; Winter, Kirsten; Yatapanage, Nisansala Prasanthi
Publication Title Proceedings: Software Engineering and Formal Methods
Editor Bob Werner
Year Published 2010
Place of publication United States
Publisher IEEE Computer Society Press
Abstract This paper demonstrates the use of Behavior Trees and model checking to assess system safety requirements for a system containing substantial redundancy. The case study concerns the hydraulics systems for the Airbus A320 aircraft, which are critical for aircraft control. The system design is supposed to be able to handle up to 3 different components failing individually, without loss of all hydraulic power. Verifying the logic of such designs is difficult for humans because of the sheer amount of detail and number of different cases that need to be considered. The paper demonstrates how model checking can yield insights into what combinations of component failures can lead to system failure.
Peer Reviewed Yes
Published Yes
Alternative URI
Copyright Statement Copyright 2010 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
ISBN 9780769541532
Conference name 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)
Location Pisa, Italy
Date From 2010-04-13
Date To 2010-04-18
Date Accessioned 2011-04-20
Language en_AU
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Software Engineering
Publication Type Conference Publications (Full Written Paper - Refereed)
Publication Type Code e1

Show simple item record

Griffith University copyright notice