Automated fault tree analysis model-based system

Based on this language model-based FTA, automation has been developed. OSATE tool may be used to generate fault tree. The generation tool is designed to be flexible and can be re-targeted to more than one fault tree analysis tool. The portion of the tool that extracts the system instance error model can be reused to generate different types of safety artifacts, such as Markov Chains. 

Within process industries characterized by large production units and high levels of automation, risk and accident analysis is focused on the avoidance of low-probability events entailing serious consequences for the plant and its environment. Safety analysis is based here on causal or probabilistic models of the accidental chain of events that can serve to identify deficiencies in the design of the plant and its protective system as well as to predict the level of risk involved in an operation. Methods developed are fault tree analysis, MORT (Johnson 1975) and INRS (Leplat Rasmussen 1984). A detailed analysis of the actual, individual incident or failure is performed to identify these possible weak spots in the plant and its operation. It is a common experience that human acts play an important role in such industrial mishaps so, especially after the reactor incident at Three Miles Island in 1979, much effort has been spent on developing suitable predictive tools for the... 

Studies (HiP-HOPS) [12] and Component Fault Trees (CFT) [6]. For specific component-based specification languages, the later two techniques allow tool-supported and automated generation of a safety evaluation model. A limitation of these safety analysis techniques is their inability to handle cycles in the control-or data-flow architecture of the system cycles, of course, appear in most realistic systems. Fault Propagation and Transformation Calculus (FPTC) [15] was one of the first approaches that could automatically carry out failure analysis on systems with cycles by using fixed-point analysis. 

---