Toggle Main Menu Toggle Search

Open Access padlockePrints

Safety Assessment Using Behavior Trees and Model Checking

Lookup NU author(s): Dr Nisansala Yatapanage


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


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.

Publication metadata

Author(s): Lindsay P, Winter K, Yatapanage N

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)

Year of Conference: 2010

Pages: 181-190

ISSN: 9781424482894

Publisher: IEEE


DOI: 10.1109/SEFM.2010.23