Experience with fault injection experiments for FMEA

Grunske, Lars, Winter, Kirsten, Yatapanage, Nisansala, Zafar, Saad and Lindsay, Peter A. (2011) Experience with fault injection experiments for FMEA. Software: Practice and Experience, 41 11: 1233-1258. doi:10.1002/spe.1039

Attached Files (Some files may be inaccessible until you login with your UQ eSpace credentials)
Name Description MIMEType Size Downloads

Author Grunske, Lars
Winter, Kirsten
Yatapanage, Nisansala
Zafar, Saad
Lindsay, Peter A.
Title Experience with fault injection experiments for FMEA
Journal name Software: Practice and Experience   Check publisher's open access policy
ISSN 0038-0644
Publication date 2011-10-01
Year available 2011
Sub-type Article (original research)
DOI 10.1002/spe.1039
Open Access Status Not Open Access
Volume 41
Issue 11
Start page 1233
End page 1258
Total pages 26
Place of publication Bognor Regis, United Kingdom
Publisher John Wiley & Sons
Language eng
Formatted 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. Copyright © 2011 John Wiley & Sons, Ltd.
Keyword Behavior trees
Failure modes and effects analysis
Fault injection experiments
Model checking
Q-Index Code C1
Q-Index Status Confirmed Code
Institutional Status UQ
Additional Notes Article first published online: 18 January 2011.

Document type: Journal Article
Sub-type: Article (original research)
Collections: Official 2012 Collection
School of Information Technology and Electrical Engineering Publications
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 11 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 23 times in Scopus Article | Citations
Google Scholar Search Google Scholar
Created: Thu, 10 Feb 2011, 20:57:56 EST by Dr Kirsten Winter on behalf of School of Information Technol and Elec Engineering