Design of Dependable Systems: An Overview of Analysis and Verification Approaches
Jose Ignacio Aizpurua Unanue, Enaut Muxika Olasagasti · 2012
Designing a dependable system successfully is a challenging issue that is an ongoing research subject in the literature. Different approaches have been adopted in order to identify, analyse and verify the dependability of a system design. This process is far from obvious and often hampered due to the limitations of the classical dependability analysis techniques and verification approaches. This paper provides an overview of analysis approaches grouped by limitations. The principal points for the characterization of the considered approaches are the capability to handle notions of time, component-wise failure propagations and the use of architec- tural languages with the aim to extract analysis models from design models. Finally, verification approaches are partially reviewed. Keywords-Dependability design; Dependability Analysis; De- pendability Verification; Model-Based Analysis.