Home // International Journal On Advances in Security, volume 6, numbers 1 and 2, 2013 // View article
Authors:
Jose Ignacio Aizpurua
Eñaut Muxika
Keywords: Model-based dependability analysis, System design, Heterogeneous redundancy, Dependability verification
Abstract:
Designing a dependable system successfully is a challenging issue that is an ongoing research subject in the literature. Different approaches have been adopted to 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 and verification approaches. This paper provides an overview of model-based dependability analysis, design and verification approaches. Firstly, model-based analysis approaches are grouped by the limitations of the classical approaches. Secondly, design approaches have been classified looking at their underlying recovery strategies: hardware replication and hardware reuse. Then, the ins and outs of model-based verification approaches are identified starting from fault injection approaches towards their evolution into model-based integrative approaches. Finally, a model-based hybrid design process is presented making use of the reviewed analysis, design and verification approaches.
Pages: 12 to 31
Copyright: Copyright (c) to authors, 2013. Used with permission.
Publication date: June 30, 2013
Published in: journal
ISSN: 1942-2636