A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is
Failure Modes and Effects analysis (FMEA) is a widely used technique for inductive safety analysis. FMEA provides engineers with valuable information about failure modes of system components as well as procedures for error detection and recovery. In this paper we propose an approach that facilitates representation of FMEA results in formal Event-B specifications of control systems. We define a number of patterns for representing requirements derived from FMEA in formal system model specified indoi:10.1109/hase.2011.10 dblp:conf/hase/LopatkinIRPT11 fatcat:c5lhyxlzbvfp7bvt27sbp54qhq