The Community for Technology Leaders
Quality Software, International Conference on (2005)
Melbourne, Australia
Sept. 19, 2005 to Sept. 20, 2005
ISSN: 1550-6002
ISBN: 0-7695-2472-9
pp: 117-123
Lars Grunske , University of Queensland, Brisbane, Australia
Bernhard Kaiser , University of Queensland, Brisbane, Australia
ABSTRACT
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.
INDEX TERMS
Safety analysis, System architectures, System analysis, Failure Propagation Transformation Notation, Component Fault Trees
CITATION
Lars Grunske, Bernhard Kaiser, "Automatic Generation of Analyzable Failure Propagation Models from Component-Level Failure Annotations", Quality Software, International Conference on, vol. 00, no. , pp. 117-123, 2005, doi:10.1109/QSIC.2005.16
108 ms
(Ver )