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. As a means of user support we provide a graphical notation for modelling the system under investigation, called probabilistic Behavior Trees, and a pattern system for probabilistic properties which helps the user to formalise the system's probabilistic properties to be checked.
| Kirsten Winter |
| Research Fellow, ITEE, University of Queensland |
| Date: | Thu Sep 20 2007 |
| Time: | 11:00am to 12:00pm |
| Location: | Level 1 Seminar Room, CSE Bldg (K17), UNSW Kensington campus |
Last updated by tbourke at Wed Sep 19 18:11:26 2007 GMT+1000