Browse by author
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.
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
URL: http://dx.doi.org/10.1109/SEFM.2010.23
DOI: 10.1109/SEFM.2010.23