Probabilistic Model-Checking Support for FMEA

Authors:
Lars Grunske;Robert Colvin;Kirsten Winter
Affiliations:
University of Queensland, Australia;University of Queensland, Australia;University of Queensland, Australia
Venue:
QEST '07 Proceedings of the Fourth International Conference on Quantitative Evaluation of Systems
Year:
2007

Citing 0
Cited 13

Specification patterns for probabilistic quality properties

Proceedings of the 30th international conference on Software engineering
Monitoring probabilistic properties

Proceedings of the the 7th joint meeting of the European software engineering conference and the ACM SIGSOFT symposium on The foundations of software engineering
Codesign of dependable systems: a component-based modeling language

MEMOCODE'09 Proceedings of the 7th IEEE/ACM international conference on Formal Methods and Models for Codesign
Timed Property Sequence Chart

Journal of Systems and Software
A classification and comparison of model checking software architecture techniques

Journal of Systems and Software
Generalizable safety annotations for specification of failure patterns

Software—Practice & Experience
Directed and heuristic counterexample generation for probabilistic model checking: a comparative evaluation

Proceedings of the 2010 ICSE Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems
First International Workshop on Quantitative Stochastic Models in the Verification and Design of Software Systems (QUOVADIS 2010)

Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2
Evolving a safe system design iteratively

SAFECOMP'10 Proceedings of the 29th international conference on Computer safety, reliability, and security
Systematic model-based safety assessment via probabilistic model checking

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Model-based multi-objective safety optimization

SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Quantitative verification of system safety in event-B

SERENE'11 Proceedings of the Third international conference on Software engineering for resilient systems
Reliability analysis in component-based development via probabilistic model checking

Proceedings of the 15th ACM SIGSOFT symposium on Component Based Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Failure Mode and Effect Analysis (FMEA) is a method for assessing cause-consequence relations between component faults and hazards that may occur during the lifetime of a system. The analysis is typically time intensive and informal, and for this reason FMEA has been extended with traditional model checking support. Such support does not take into account the probabilities associated with a component fault occurring, yet such information is crucial to developing hazard reduction strategies for a system. In this paper we propose a method for FMEA which makes use of probabilistic fault injection and probabilistic model checking. Based on this approach safety engineers are able to formally identify if a failure mode occurs with a probability higher than its tolerable hazard rate.