The Dynamic-to-Static Conversion of Dynamic Fault Trees Using Stochastic Dependency Graphs and Stochastic Activity Networks

References

[1] 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

[2] 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

[3] S. Amari, G. Dill and E. Howald, “A New Approach to Solve Dynamic Fault Trees,” Annual Reliability and Maintainability Symposium, 2003, pp. 374-379.

[4] 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

[5] 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

[6] 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

[7] 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

[8] 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.

[9] 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

[10] 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

[11] 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

[12] M. Bouissou and J. L. Bon, “A New Formalism That Combines Advantages of Fault-Trees and Markov Models: Boolean Logic Driven Markov Processes,” Relibility Engineering and System Safety, Vol. 82, No. 2, 2003, pp. 149-163. doi:10.1016/S0951-8320(03)00143-1

[13] S. Swaminathan and C. Smidts, “The Event Sequence Diagram Framework for Dynamic Probabilistic Risk Assessment,” Reliability Engineering and System Safety, Vol. 63, No. 1, 1999, pp. 73-90.
doi:10.1016/S0951-8320(98)00027-1

[14] D. Codetta-Raiteri, “The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation,” Electronic Notes in Electronic Computer Science, 127, No. 2, 2005, pp. 45-60.
doi:10.1016/j.entcs.2005.02.005

[15] V. Volovoi, “Modeling of System Reliability Petri Nets with Aging Tokens,” Reliability Engineering and System Safety, Vol. 84, No. 2, 2004, pp. 149-161.
doi:10.1016/j.ress.2003.10.013

[16] M. Marsaguerra, E. Zio, J. Devooght and P. E. Labeau, “A Concept Paper on dynamic Reliability via Monte Carlo Simulation,” Mathematics and Computers in Simulation, Vol. 47, No. 2-5, 1998, pp. 371-382.
doi:10.1016/S0378-4754(98)00112-8

[17] E. Zio, M. Marella and L. Podollini, “A Monte Carlo Simulation Approach to the Availability Assessment of Multi-State Systems with operational Dependencies,” Reliability Engineering and System Safety, Vol. 92, No. 7, 2007, pp. 871-882. doi:10.1016/j.ress.2006.04.024

[18] Mobius. http://www.mobius.illinois.edu/

[19] W. H. Sanders and J. F. Meyer, “Stochastic Activity Networks: Formal Definitions and Concepts,” In: H. Hermanns and J.-P. Katoen, Eds., Lectures on Formal Methods and Performance Analysis, Springer Verlag, Berlin, 2002, pp. 315-343.

[20] F. Chiacchio, D. D’Urso, N. Trapani, G. Manno and L. Compagno, “Dynamic Fault Trees Resolution: A Conscious Trade-Off between Analytical and Simulative Approaches,” Reliability Engineering and System Safety, Vol. 96, No. 11, 2011, pp. 1115-1126.
doi:10.1016/j.ress.2011.06.014

[21] G. Manno, F. Chiacchio, L. Compagno, D. D’Urso and N. Trapani, “Matcarlore: An Integrated FT and Monte Carlo Simulink Tool for the Reliability Assessment of Dynamic Fault Tree,” Expert Systems with Applications, Vol. 39, No. 12, 2012, pp. 10334-10342.
doi:10.1016/j.eswa.2011.12.020

[22] A. Rauzy, “Binary Decision Diagrams for Reliability Studies,” Handook of Performability Engineering, 2008, pp. 381-339.