LARES — A Novel Approach for Describing System Reconfigurability in Dependability Models of Fault-Tolerant Systems

This paper presents LARES, a novel approach to the modeling of fault-tolerant systems. We introduce a formalism for describing the structure of a system which is able to express dynamic behavior such as imperfect coverage, common cause errors, failure propagation, increase of failure rates after partial system failure, and phased missions. It is designed with the intention to provide a convenient and easy-to-learn formalism for modeling — even for non-specialists. The paper introduces the modeling language and illustrates its use by means of two non-trivial examples.

[1]  Antonio Puliafito,et al.  Dependability Modeling and Analysis in Dynamic Systems , 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

[2]  Kerstin Buchacker,et al.  Modeling with extended fault trees , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[3]  David Coppit,et al.  Combining various solution techniques for dynamic fault tree analysis of computer systems , 1998, Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231).

[4]  K. Sullivan,et al.  Galileo: a tool built from mass-market applications , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[5]  Juan A. Carrasco,et al.  A failure-distance based method to bound the reliability of nonrepairable fault-tolerant systems without the knowledge of minimal cuts , 2001, IEEE Trans. Reliab..

[6]  Philip Heidelberger,et al.  Modeling and analysis of system dependability using the System Availability Estimator , 1994, Proceedings of IEEE 24th International Symposium on Fault- Tolerant Computing.

[7]  M. Bouissou.  A Generalization of Dynamic Fault Trees through Boolean logic Driven Markov Processes (BDMP)® , 2007 .

[8]  Salvatore J. Bavuso,et al.  Dynamic fault-tree models for fault-tolerant computer systems , 1992 .

[9]  Mariëlle Stoelinga,et al.  Dynamic Fault Tree Analysis Using Input/Output Interactive Markov Chains , 2007, 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN'07).

[10]  Joanne Bechta Dugan,et al.  DIFtree: a software package for the analysis of dynamic fault tree models , 1997, Annual Reliability and Maintainability Symposium.

[11]  M. Walter.  OpenSESAME: A Tool's Concept , 2000, ICALP Satellite Workshops.

[12]  M. Walter,et al.  Review of “The Modeling World of Reliability/Safety Engineering” , 2006, IEEE Transactions on Reliability.

[13]  Mariëlle Stoelinga,et al.  A Compositional Semantics for Dynamic Fault Trees in Terms of Interactive Markov Chains , 2007, ATVA.

[14]  Marc Bouissou,et al.  RELIABILITY ANALYSIS OF A DYNAMIC PHASED MISSION SYSTEM: COMPARISON OF TWO APPROACHES , 2005 .

[15]  Kishor S. Trivedi,et al.  THE SYSTEM AVAILABILITY ESTIMATOR , 1996 .

[16]  Arndt Bode,et al.  OpenSESAME - the simple but extensive, structured availability modeling environment , 2008, Reliab. Eng. Syst. Saf..

[17]  Antonio Puliafito,et al.  Dynamic reliability block diagrams: Overview of a methodology , 2007 .

[18]  Matthias Kuntz,et al.  Architectural dependability evaluation with Arcade , 2008, 2008 IEEE International Conference on Dependable Systems and Networks With FTCS and DCC (DSN).

[19]  David Coppit,et al.  Developing a low-cost high-quality software tool for dynamic fault-tree analysis , 2000, IEEE Trans. Reliab..

[20]  Kerstin Buchacker.  Analyzing Safety-Critical Systems Using Extended Fault Trees , 1999, ARCS Workshops.