Show simple item record

dc.contributor.convenorAndrea Maggiolo-Schettinien_AU
dc.contributor.authorA. Lindsay, Peteren_US
dc.contributor.authorWinter, Kirstenen_US
dc.contributor.authorYatapanage, Nisansalaen_US
dc.contributor.editorBob Werneren_US
dc.date.accessioned2017-04-24T10:00:28Z
dc.date.available2017-04-24T10:00:28Z
dc.date.issued2010en_US
dc.date.modified2011-08-26T09:00:10Z
dc.identifier.refurihttp://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5635422en_AU
dc.identifier.doi10.1109/SEFM.2010.23en_AU
dc.identifier.urihttp://hdl.handle.net/10072/39006
dc.description.abstractThis 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.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_AU
dc.format.extent283177 bytes
dc.format.mimetypeapplication/pdf
dc.languageEnglishen_US
dc.language.isoen_AU
dc.publisherIEEE Computer Society Pressen_US
dc.publisher.placeUnited Statesen_US
dc.relation.ispartofstudentpublicationNen_AU
dc.relation.ispartofconferencename8th IEEE International Conference on Software Engineering and Formal Methods (SEFM 2010)en_US
dc.relation.ispartofconferencetitleProceedings: Software Engineering and Formal Methodsen_US
dc.relation.ispartofdatefrom2010-04-13en_US
dc.relation.ispartofdateto2010-04-18en_US
dc.relation.ispartoflocationPisa, Italyen_US
dc.rights.retentionYen_AU
dc.subject.fieldofresearchSoftware Engineeringen_US
dc.subject.fieldofresearchcode080309en_US
dc.titleSafety assessment using Behavior Trees and Model Checkingen_US
dc.typeConference outputen_US
dc.type.descriptionE1 - Conference Publications (HERDC)en_US
dc.type.codeE - Conference Publicationsen_US
gro.rights.copyrightCopyright 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.en_AU
gro.date.issued2010
gro.hasfulltextFull Text


Files in this item

This item appears in the following Collection(s)

  • Conference outputs
    Contains papers delivered by Griffith authors at national and international conferences.

Show simple item record