Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations
Sept. 19, 2005 to Sept. 20, 2005
Lars Grunske , University of Queensland, Brisbane, Australia
Bernhard Kaiser , University of Queensland, Brisbane, Australia
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/QSIC.2005.16
Model-driven and component-based software engineering methodologies are currently key factors for the successful construction of complex software systems. To effectively apply these methodologies to mission- and safety-critical systems, component-based models should also support hazard analysis techniques and enable the automatic construction of safety cases. This paper outlines a technique, which annotates components with modular failure mode assumptions, described in the Failure Propagation Transformation Notation (FPTN) and generates an analyzable failure propagation model for the complete system. Based on this technique, a model-based safety evaluation is possible, which enables the automatic generation of safety cases based on system models. Consequently, a consistency between the safety case and the system model can be ensured, even if the system?s architecture is changed.
Safety analysis, System architectures, System analysis, Failure Propagation Transformation Notation, Component Fault Trees
Lars Grunske, Bernhard Kaiser, "Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations", QSIC, 2005, Quality Software, International Conference on, Quality Software, International Conference on 2005, pp. 117-123, doi:10.1109/QSIC.2005.16