Flexible, Any-Time Fault Tree Analysis with Component Logic Models

This article presents a novel approach to facilitating fault tree analysis during the development of software-controlled systems. Based on a component-oriented system model, it combines second-order probabilistic analysis and automatically generated default failure models with a level-of-detail concept to ensure early and continuous analysability of system failure behaviour with optimal effort, even in the presence of incomplete information and dissimilar levels of detail in different parts of an evolving system model. The viability and validity of the method are demonstrated by means of an experiment.

[1]  Dominik Domis,et al.  Safety Concept Trees , 2009, 2009 Annual Reliability and Maintainability Symposium.

[2]  L. Caldarola,et al.  The boolean algebra with restricted variables as a tool for fault tree modularization , 1981 .

[3]  Sergio B. Guarro,et al.  The use of prime implicants in dependability analysis of software controlled systems , 1998 .

[4]  Mario Trapp,et al.  Integrating Safety Analyses and Component-Based Design , 2008, SAFECOMP.

[5]  Malcolm Wallace,et al.  Modular Architectural Representation and Analysis of Fault Propagation and Transformation , 2005, FESCA@ETAPS.

[6]  Mario Trapp,et al.  Fault Tree Analysis of Software-Controlled Component Systems Based on Second-Order Probabilities , 2009, 2009 20th International Symposium on Software Reliability Engineering.

[7]  George E. Apostolakis,et al.  The dynamic flowgraph methodology for assessing the dependability of embedded software systems , 1995, IEEE Trans. Syst. Man Cybern..

[8]  Barbara Paech,et al.  Component-based product line engineering with UML , 2001, Addison Wesley object technology series.

[9]  David John Pumfrey,et al.  The principled design of computer system safety analyses , 1999 .

[10]  Kishor S. Trivedi,et al.  A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components , 2003, IEEE Trans. Computers.

[11]  Peter Liggesmeyer,et al.  A New Component Concept for Fault Trees , 2003, SCS.

[12]  John A. McDermid,et al.  An integrated tool set for software safety analysis , 1993, J. Syst. Softw..

[13]  D. Pumfrey,et al.  Towards a Practicable Process for Automated Safety Analysis , 2006 .

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

[15]  Carl E. Landwehr,et al.  Basic concepts and taxonomy of dependable and secure computing , 2004, IEEE Transactions on Dependable and Secure Computing.

[16]  John A. McDermid,et al.  Hierarchically Performed Hazard Origin and Propagation Studies , 1999, SAFECOMP.

[17]  Martin Walker,et al.  Compositional Temporal Fault Tree Analysis , 2007, SAFECOMP.

[18]  Anish Arora,et al.  Detectors and correctors: a theory of fault-tolerance components , 1998, Proceedings. 18th International Conference on Distributed Computing Systems (Cat. No.98CB36183).

[19]  Richard F. Paige,et al.  Probabilistic Failure Propagation and Transformation Analysis , 2009, SAFECOMP.