The Dynamic-to-Static Conversion of Dynamic Fault Trees Using Stochastic Dependency Graphs and Stochastic Activity Networks
- 1
- 2
- 3
Abstract
In this paper a new modeling framework for the dependability analysis of complex systems is presented and related to dynamic fault trees (DFTs). The methodology is based on a modular approach: two separate models are used to handle, the fault logic and the stochastic dependencies of the system. Thus, the fault schema, free of any dependency logic, can be easily evaluated, while the dependency schema allows the modeler to design new kind of non-trivial dependencies not easily caught by the traditional holistic methodologies. Moreover, the use of a dependency schema allows building a pure behavioral model that can be used for various kind s of dependability studies. In the paper is shown how to build and integrate the two modular models and convert them in a Stochastic Activity Network. Furthermore, based on the construction of the schema that embeds the stochastic dependencies, the procedure to convert DFTs into static fault trees is shown, allowing the resolution of DFTs in a very efficient way.
- J. B. Dugan and S. J. Bavuso, “Fault Trees and Sequence Dependencies,” Proceedings of Annual Reliability and Maintainability Symposium, Los Angeles, 23-25 January 1990, pp. 232-235. doi:10.1109/ARMS.1990.67971
- J. B. Dugan and S. J. Bavuso, “Dynamic Fault-Tree Models for Fault Tolerant Computer Systems,” IEEE Transactions on Reliability, Vol. 41, No. 3, 1992, pp. 363-377. doi:10.1109/24.159800
- S. Amari, G. Dill and E. Howald, “A New Approach to Solve Dynamic Fault Trees,” Annual Reliability and Maintainability Symposium, 2003, pp. 374-379.
- R. Gulati and J. B. Dugan, “A Modular Approach for Analyzing Static and Dynamic Fault Trees,” Proceedings of Annual Reliability and Maintainability Symposium, Philadelphia, 13-16 January 1997, pp. 57-63. doi:10.1109/RAMS.1997.571665
- M. Lanus, L. Yin and K. S. Trivedi, “Hierarchical Composition and Aggregation of State-Based Availability and Performability Models,” IEEE Transactions on Reliability, Vol. 52, No. 1, 2003, pp. 44-52. doi:10.1109/TR.2002.805781
- B. N. Feinberg and S. S. Chiu, “A Method to Calculate Steady-State Distributions of Large Markov Chains by Aggregating States,” Operations Research, Vol. 35, No. 2, 1987, pp. 282-290. doi:10.1287/opre.35.2.282
- M. Malhotra and K. S. Trivedi, “A Methodology for Formal Specification of Hierarchy in Model Solution,” Proceedings of 5th International Workshop Petri Nets and Performance Models, (PNPM-1993), Toulouse, 1922 October 1999, pp. 258-267. doi:10.1109/PNPM.1993.393445
- S. Distefano andA. Puliafito, “Dynamic Reliability Block Diagrams vs Dynamic Fault Trees,” Proceedings of Annual Reliability and Maintainability Symposium RAMS’07, Orlando, 22-25 January 2007, pp. 71-76.
- A. Bobbio, L. Portinale, M. Minichino and E. Ciancamerla, “Improving the Analysis of Dependable Systems by Mapping Fault Trees into Bayesian Networks,” Reliability Engineering and System Safety, Vol. 71, No. 3, 2001, pp. 249-260. doi:10.1016/S0951-8320(00)00077-6
- H. Boudali and J. Dugan, “A New Bayesian Network Approach to Solve Dynamic Fault Trees,” Proceedings of Annual Reliability and Maintainability Symposium, Alexandria, 24-27 January 2005, pp. 451-456. doi:10.1109/RAMS.2005.1408404
- H. Boudali and J. B. Dugan, “A Continuous-Time Bayesian Network Reliability Modeling, and Analysis Framework,” IEEE Transactions on Reliability, Vol. 55, No. 1, 2006, pp. 86-97. doi:10.1109/TR.2005.859228