Home // DEPEND 2012, The Fifth International Conference on Dependability // View article

Design of Dependable Systems: An Overview of Analysis and Verification Approaches

Authors:
Jose Ignacio Aizpurua Unanue
Eñaut Muxika Olasagasti

Keywords: Dependability design; Dependability Analysis; Dependability Verification; Model-Based Analysis.

Abstract:
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 architectural languages with the aim to extract analysis models from design models. Finally, verification approaches are partially reviewed.

Pages: 4 to 12

Copyright: Copyright (c) IARIA, 2012

Publication date: August 19, 2012

Published in: conference

ISSN: 2308-4324

ISBN: 978-1-61208-212-7

Location: Rome, Italy

Dates: from August 19, 2012 to August 24, 2012