Safety assessment using Behavior Trees and Model Checking
File version
Author(s)
Winter, Kirsten
Yatapanage, Nisansala
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Bob Werner
Date
Size
283177 bytes
File type(s)
application/pdf
Location
Pisa, Italy
License
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.
Journal Title
Conference Title
Proceedings: Software Engineering and Formal Methods
Book Title
Edition
Volume
Issue
Thesis Type
Degree Program
School
Publisher link
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
© 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.
Item Access Status
Note
Access the data
Related item(s)
Subject
Software Engineering