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

Reliability Engineering and System Safety

Volumn 94, Issue 9, 2009, Pages 1422-1432

  Flammini, Francesco ^a,b   Marrone, Stefano ^c   Mazzocca, Nicola ^b   Vittorini, Valeria ^b  

^a ANSALDO ENERGIA   (Italy)

^b UNIVERSITY OF NAPLES FEDERICO II   (Italy)

^c SECOND UNIVERSITY OF NAPLES   (Italy)

Author keywords

Bayesian Networks; Imperfect maintenance; Multiformalism modeling; N modular redundancy; Safety

Indexed keywords

CONTINUOUS TIME MARKOV CHAIN; FAILURE MODEL; FORMAL MODEL; IMPERFECT MAINTENANCE; INTERNATIONAL SAFETY STANDARDS; MAINTENANCE MODELS; MAJORITY VOTER; MODELING APPROACH; MULTIFORMALISM MODELING; N-MODULAR REDUNDANCY; REDUNDANT ARCHITECTURE; SAFETY; SAFETY EVALUATIONS; SAFETY INTEGRITY LEVELS; SAFETY-CRITICAL CONTROL SYSTEMS; SYSTEM SAFETY;

DISTRIBUTED PARAMETER NETWORKS; DOCKING; INFERENCE ENGINES; INTELLIGENT NETWORKS; INTERCHANGES; KNOWLEDGE BASED SYSTEMS; MAINTENANCE; MARKOV PROCESSES; QUALITY ASSURANCE; REDUNDANCY; REGULATORY COMPLIANCE; SPEECH ANALYSIS; STANDARDIZATION; SYSTEMS ENGINEERING;

BAYESIAN NETWORKS;

EID: 67349173170     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2009.02.014     Document Type: Article

References (25)

1. 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.
2. 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.
3. 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.
4. Avizienis A, Laprie JC, Randel B. Fundamental concepts of dependability. LAAS Report no. 01-145, 2001.
5. 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.
6. DeLong T.A., Smith D.T., and Johnson B.W. Dependability metrics to assess safety-critical systems. IEEE Transactions on Reliability 54 3 (2005) 498-505
7. Dugan J.B., Bavoso S.J., and Boyd M.A. Dynamic fault-tree models for fault tolerant computer systems. IEEE Transactions on Reliability 41 (1992) 363-377
8. 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.
9. Portinale L., Bobbio A., and Montani S. 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 (2005) 365-382
10. 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.
11. 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.
12. Yak Y.W., Dillon T.S., and Forward K.E. The effect of incomplete and deleterious periodic maintenance on fault-tolerant computer systems. IEEE Transactions on Reliability 35 1 (1986) 85-90
13. Hosseini M.M., Kerr R.M., and Randall R.B. A hybrid maintenance model with imperfect inspection for a system with deterioration and Poisson failure. Journal of the Operational Research Society 50 12 (1999) 1229-1243
14. CENELEC 2004. EN 50129 railways applications-safety related electronic systems for signalling.
15. UNISIG 2005. ERTMS/ETCS-class 1 safety requirements issue 2.2.11, subset-091.
16. 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.
17. Netica web site 2006, 〈http://www.norsys.com/netica.html〉.
18. UNISIG 2002. ERTMS/ETCS-class 1 SRS issue 2.2.2, subset-026.
19. 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.
20. Vittorini V., Iacono M., Mazzocca N., and Franceschinis G. The OsMoSys approach to multiformalism modeling of systems. Journal of Software and Systems Modeling 3 1 (2004) 68-81
21. 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.
22. 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.
23. 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.
24. 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.
25. Chiola G., Dutheillet C., Franceschinis G., and Haddad S. Stochastic well-formed colored nets and symmetric modeling applications. IEEE Transactions on Computers 42 (1993) 1343-1360