Experience with fault injection experiments for FMEA

There are no files associated with this record.

Title Experience with fault injection experiments for FMEA
Author Grunske, Lars; Winter, Kirsten; Yatapanage, Nisansala Prasanthi; Zafar, Saad; Lindsay, Peter A.
Journal Name Software: Practice and Experience
Year Published 2011
Place of publication United Kingdom
Publisher John Wiley & Sons Ltd.
Abstract Failure 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.
Peer Reviewed Yes
Published Yes
Alternative URI http://dx.doi.org/10.1002/spe.1039
Volume 41
Issue Number 11
Page from 1223
Page to 1258
ISSN 0038-0644
Date Accessioned 2012-03-05; 2012-03-08T22:38:11Z
Date Available 2012-03-08T22:38:11Z
Faculty Faculty of Science, Environment, Engineering and Technology
Subject Software Engineering
URI http://hdl.handle.net/10072/43455
Publication Type Journal Articles (Refereed Article)
Publication Type Code c1

Brief Record

Griffith University copyright notice