Show simple item record

dc.contributor.authorA. Lindsay, Peter
dc.contributor.authorYatapanage, Nisansala
dc.contributor.authorWinter, Kirsten
dc.date.accessioned2017-05-03T14:40:03Z
dc.date.available2017-05-03T14:40:03Z
dc.date.issued2012
dc.date.modified2013-06-17T01:21:46Z
dc.identifier.issn09345043
dc.identifier.doi10.1007/s00165-011-0181-8
dc.identifier.urihttp://hdl.handle.net/10072/48609
dc.description.abstractSafety analysis can be labour intensive and error prone for system designers. Moreover, even a relatively minor change to a system's design can necessitate a complete reworking of the system safety analysis. This paper proposes the use of Behavior Trees and model checking to automate Cut Set Analysis (CSA) : that is, the identification of combinations of component failures that can lead to hazardous system failures. We demonstrate an automated incremental approach to CSA, in which models are extended incrementally and previous results incorporated in such a way as to significantly reduce the time and effort required for the new analysis. The approach is demonstrated on a case study concerning the hydraulics systems for the Airbus A320 aircraft.
dc.description.peerreviewedYes
dc.description.publicationstatusYes
dc.languageEnglish
dc.language.isoeng
dc.publisherSpringer
dc.publisher.placeUnited Kingdom
dc.relation.ispartofstudentpublicationY
dc.relation.ispartofpagefrom249
dc.relation.ispartofpageto266
dc.relation.ispartofissue2
dc.relation.ispartofjournalFormal Aspects of Computing
dc.relation.ispartofvolume24
dc.rights.retentionN
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchComputation Theory and Mathematics
dc.subject.fieldofresearchComputer Software
dc.subject.fieldofresearchcode080309
dc.subject.fieldofresearchcode0802
dc.subject.fieldofresearchcode0803
dc.titleCut Set Analysis Using Behavior Trees and Model Checking
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.date.issued2012
gro.hasfulltextNo Full Text
gro.griffith.authorYatapanage, Nisansala P.


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record