Show simple item record

dc.contributor.authorGrunske, Larsen_US
dc.contributor.authorWinter, Kirstenen_US
dc.contributor.authorYatapanage, Nisansalaen_US
dc.contributor.authorZafar, Saaden_US
dc.contributor.authorA. Lindsay, Peteren_US
dc.date.accessioned2017-04-24T10:18:44Z
dc.date.available2017-04-24T10:18:44Z
dc.date.issued2011en_US
dc.date.modified2012-03-08T22:38:11Z
dc.identifier.issn00380644en_US
dc.identifier.doi10.1002/spe.1039en_US
dc.identifier.urihttp://hdl.handle.net/10072/43455
dc.description.abstractFailure Modes and Effects Analysis (FMEA) is a widely used system and software safety analysis technique that systematically identifies failure modes of system components and explores whether these failure modes might lead to potential hazards. In practice, FMEA is typically a labor-intensive team-based exercise, with little tool support. This article presents our experience with automating parts of the FMEA process, using a model checker to automate the search for system-level consequences of component failures. The idea is to inject runtime faults into a model based on the system specification and check if the resulting model violates safety requirements, specified as temporal logical formulas. This enables the safety engineer to identify if a component failure, or combination of multiple failures, can lead to a specified hazard condition. If so, the model checker produces an example of the events leading up to the hazard occurrence which the analyst can use to identify the relevant failure propagation pathways and co-effectors. The process is applied on three medium-sized case studies modeled with Behavior Trees. Performance metrics for SAL model checking are presented.en_US
dc.description.peerreviewedYesen_US
dc.description.publicationstatusYesen_US
dc.languageEnglishen_US
dc.publisherJohn Wiley & Sons Ltd.en_US
dc.publisher.placeUnited Kingdomen_US
dc.relation.ispartofstudentpublicationNen_US
dc.relation.ispartofpagefrom1223en_US
dc.relation.ispartofpageto1258en_US
dc.relation.ispartofissue11en_US
dc.relation.ispartofjournalSoftware: Practice and Experienceen_US
dc.relation.ispartofvolume41en_US
dc.rights.retentionYen_US
dc.subject.fieldofresearchSoftware Engineeringen_US
dc.subject.fieldofresearchcode080309en_US
dc.titleExperience with fault injection experiments for FMEAen_US
dc.typeJournal articleen_US
dc.type.descriptionC1 - Peer Reviewed (HERDC)en_US
dc.type.codeC - Journal Articlesen_US
gro.date.issued2011
gro.hasfulltextNo Full Text


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