A new modeling approach to the safety evaluation of N-modular redundant computer systems in presence of imperfect maintenance

Flammini F, Marrone S, Mazzocca N, Vittorini V. Evaluating the hazardous failure rate of majority voting computer architectures by means of Bayesian network models. In: Proceedings of the 16th European Safety and Reliability Conference (ESREL 2007), Stavanger, Norway; 2007. p. 1715–21. Amendola AM, Impagliazzo L, Marmo P, Mongardi G, Sartore G. Architecture and safety requirements of the ACC railway interlocking system. In: IEEE proceedings of the 2nd annual International Computer Performance & Dependability Symposium (IPDS’96), Urbana, Champaign, IL, USA; 1996. p. 21–9. Flammini F, Iacono M, Marrone S, Mazzocca N. Using repairable fault trees for the evaluation of design choices for critical repairable systems. In: Proceedings of the 9th IEEE International Symposium on High Assurance Systems Engineering (HASE2005), Heidelberg, Germany, October 12–14, 2005. p. 163–72. Avizienis A, Laprie JC, Randel B. Fundamental concepts of dependability. LAAS Report no. 01-145, 2001. Hyunki K, Hyung-Joon J, Keyseo L, Hyuntae L. The design and evaluation of all voting triple modular redundancy system. In: Proceedings of the annual reliability and maintainability symposium, 2002. p. 439–44. DeLong, 2005, Dependability metrics to assess safety-critical systems, IEEE Transactions on Reliability, 54, 498, 10.1109/TR.2005.853567 Dugan, 1992, Dynamic fault-tree models for fault tolerant computer systems, IEEE Transactions on Reliability, 41, 363, 10.1109/24.159800 Codetta Raiteri D, Iacono M, Franceschinis G, Vittorini V. Repairable fault tree for the automatic evaluation of repair policies. In: Proceedings of the international conference on Dependable Systems and Networks 2004 (DSN 2004); 2004. p. 659–68. Portinale, 2005, From AI to dependability: using Bayesian networks for reliability modeling and analysis, Modern Statistical and Mathematical Methods in Reliability, Series on Quality, Reliability and Engineering Statistics, 10, 365, 10.1142/9789812703378_0026 Bobbio A, Bologna S, Ciancamerla E, Franceschinis G, Gaeta R, Minichino M, et al. Comparison of methodologies for the safety and dependability assessment of an industrial programmable logic controller. In: Proceedings of the European Safety & Reliability Conference (ESREL 2001), Turin, Italy; 2001. p. 411–8. Flammini F, Marrone S, Mazzocca N, Vittorini V. Modelling System reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks. In: Safety and reliability for managing risk: Proceedings of the 15th European Safety and Reliability Conference (ESREL 2006), Estoril, Portugal; 2006. p. 2675–83. Yak, 1986, The effect of incomplete and deleterious periodic maintenance on fault-tolerant computer systems, IEEE Transactions on Reliability, 35, 85, 10.1109/TR.1986.4335358 Hosseini, 1999, A hybrid maintenance model with imperfect inspection for a system with deterioration and Poisson failure, Journal of the Operational Research Society, 50, 1229, 10.1057/palgrave.jors.2600819 CENELEC 2004. EN 50129 railways applications—safety related electronic systems for signalling. UNISIG 2005. ERTMS/ETCS—class 1 safety requirements issue 2.2.11, subset-091. di Tommaso P, Esposito R, Marmo P, Orazzo A. Hazard analysis of complex distributed railway systems. In: Proceedings of the 22nd international symposium on reliable distributed systems, Florence; 2003. p. 283–92. Netica web site 2006, 〈http://www.norsys.com/netica.html〉. UNISIG 2002. ERTMS/ETCS—class 1 SRS issue 2.2.2, subset-026. Sanders WH. Integrated frameworks for multi-level and multi-formalism modeling. In: Proceedings of the 8th international workshop on Petri nets and performance models; 1999. p. 2–9. Vittorini, 2004, The OsMoSys approach to multiformalism modeling of systems, Journal of Software and Systems Modeling, 3, 68, 10.1007/s10270-003-0039-5 Coccoli A, Bondavalli A. Analysis of safety related architectures. In: Proceedings of the 9th IEEE international Workshop on Object-oriented Real-time Dependable Systems (WORDS); 2003. p. 111–117. Di Lorenzo G, Flammini F, Iacono M, Marrone S, Moscato F, Vittorini V. The software architecture of the OsMoSys multisolution framework. In: Second international conference on performance evaluation methodologies and tools, VALUETOOLS’07, Nantes, France, October 23–25, 2007. p. 1–10. Flammini F, Marrone S, Mazzocca N, Vittorini V. Modelling system reliability aspects of ERTMS/ETCS by fault trees and Bayesian networks. In: Safety and reliability for managing risk: Proceedings of the 15th European Safety and Reliability Conference (published in September 1st 2006), ESREL’06, Estoril, Portugal, September 18–22, 2006. p. 2675–83. Montani S, Portinale L, Bobbio A. Dynamic Bayesian networks for modeling advanced fault tree features in dependability analysis. In: Proceedings of the European Safety and Reliability Conference (ESREL 2005), Tri City, Poland; 2005. p. 1415–22. Chiola, 1993, Stochastic well-formed colored nets and symmetric modeling applications, IEEE Transactions on Computers, 42, 1343, 10.1109/12.247838