Safety assessment using Behavior Trees and Model Checking

Loading...
Thumbnail Image
File version
Author(s)
A. Lindsay, Peter
Winter, Kirsten
Yatapanage, Nisansala
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)

Bob Werner

Date
2010
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

Persistent link to this record
Citation