Output details
11 - Computer Science and Informatics
University of Hull
Capture and reuse of composable failure patterns
<07> This paper draws from software engineering to introduce novel linguistic concepts and tools that enable specification and reuse of patterns of component failure behaviour in the context of a simplified and efficient process for model-based dependability analysis of complex systems. The approach largely automates Fault Tree Analysis (FTA) and Failure Modes and Effects Analysis (FMEA). It has been applied on novel automotive designs in the ATTEST2 and MAENAD FP7 projects, and incorporated in the HiP-HOPS method that presently partly forms the state of art on model-based safety analysis influencing other important work by collaborators including Bozzano/Italy, Ortmeier/Germany and Rauzy/France).