Reliability and availability analysis of dependent-dynamic systems with DRBDs

Reliability Engineering and System Safety

Volumn 94, Issue 9, 2009, Pages 1381-1393

  Distefano, Salvatore ^a   Puliafito, Antonio ^a  

^a UNIVERSITY OF MESSINA   (Italy)

Author keywords

Availability; BDMP ; DFT; DRBDs; Dynamic systems; OpenSESAME; Reliability

Indexed keywords

APPLICATION FIELDS; COMMON CAUSE FAILURE; COMPLEX SYSTEMS; DFT; DRBDS; DYNAMIC BEHAVIORS; DYNAMIC EFFECTS; DYNAMIC SYSTEMS; FAULT-TREE; LOAD SHARING; MAINTENANCE POLICY; ON-DEMAND; OPENSESAME; RELIABILITY AND AVAILABILITY; RELIABILITY BLOCK DIAGRAMS; STOCHASTIC INDEPENDENCE;

DYNAMIC PROGRAMMING; DYNAMICAL SYSTEMS; GRAPH THEORY; PROBABILITY DENSITY FUNCTION; REDUNDANCY; RELIABILITY ANALYSIS;

QUALITY ASSURANCE;

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

References (46)

1. Reliasoft Corporation. System analysis reference: reliability availability and optimization (2003), Reliasoft Publishing
2. Rausand M., and Høyland A. System reliability theory: models, statistical methods, and applications. 3rd ed (2003), Wiley, IEEE, New York
3. Vesely WE, Goldberg FF, Roberts NH, Haasl DF. Fault tree handbook. US Nuclear Regulatory Commission, NUREG-0492, Washington, DC; 1981.
4. Sahner R., Trivedi K., and Puliafito A. Performance and reliability analysis of computer systems: an example-based approach using the SHARPE software package (1996), Kluwer Academic Publisher, Dordrecht
5. Boyd MA. Dynamic fault tree models: techniques for analysis of advanced fault tolerant computer systems. PhD thesis, Duke University, Department of Computer Science, April 1991.
6. Dugan JB, Doyle SA. New results in fault-tree analysis. In: Reliability and maintainability symposium; 1996. p. 568-73 [tutorial notes].
7. ®. Reliability Engineering & System Safety 82 2 (2003) 149-163
8. Bobbio A., Franceschinis G., Gaeta R., and Portinale L. Parametric fault tree for the dependability analysis of redundant systems and its high-level petri net semantics. IEEE Transactions on Software Engineering 29 3 (2003) 270-287
9. Distefano S., and Xing L. A new modeling approach: dynamic reliability block diagrams. Proceedings of the 52nd annual reliability and mantainability symposium (RAMS06) (2006), IEEE, New York
10. Distefano S., Scarpa M., and Puliafito A. Modeling distributed computing system reliability with DRBDs. Proceedings of the 25th IEEE symposium on reliable distributed systems (SRDS'06) (2006), IEEE, Washington, USA 106-118
11. Distefano S., and Puliafito A. Dynamic reliability block diagrams: overview of a methodology. Proceedings of the safety and reliability conference (ESREL07) (2007)
12. Distefano S. System dependability and performances: techniques, methodologies and tools. PhD thesis, University of Messina; 2006.
13. Walter M., Siegle M., and Bode A. OpenSESAME-the simple but extensive, structured availability modeling environment. Reliability Engineering & System Safety 93 6 (2008) 857-873
14. Shooman M.L. Reliability of computer systems and networks: fault tolerance, analysis, and design (2002), Wiley, Inc., New York, NY, USA
15. Abd-El-Barr M. Design and analysis of reliable and fault-tolerant computer systems (2006), World Scientific Publishing Co., Hackensack, NJ, USA
16. Trivedi K.S. Probability and statistics with reliability, queueing, and computer science applications. second ed (2001), Wiley, Chichester, UK
17. Veeraraghavan M., and Trivedi K.S. A combinatorial algorithm for performance and reliability analysis using multistate models. IEEE Transactions on Computers 43 2 (1994) 229-234
18. Malhotra M., and Trivedi K.S. Dependability modeling using petri-nets. IEEE Transactions on Reliability 44 3 (1995) 428-440
19. Muppala J., Ciardo G., and Trivedi K. Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability 1 2 (1994) 9-20
20. Volovoi V.V. Modeling of system reliability using petri nets with aging tokens. Reliability Engineering & System Safety 84 2 (2004) 149-161
21. Doyle SA, Dugan JB, Boyd M. Dependability assessment using binary decision diagrams (BDDs). In: International symposium on fault tolerant computing; 1995. p. 249-58.
22. Wang W., Loman J.M., Arno R.G., Vassiliou P., Furlong E.R., and Ogden D. Reliability block diagram simulation techniques applied to the IEEE Std. 493 standard network. IEEE Transactions on Industry Applications 40 3 (2004) 887-895
23. Marseguerra M., and Zio E. Basics of the Monte Carlo method with application to system reliability (2002), LiLoLe Verlag
24. Kamal H., and Ayyub B.M. Reliability assessment of structural systems sing discrete-event simulation. Proceedings of the 13th ASCE engineering mechanics division specialty conference (1999)
25. Kim M.C., and Seong P.H. Reliability graph with general gates: an intuitive and practical method for system reliability analysis. Reliability Engineering & System Safety 78 3 (2002) 239-246
26. Dugan J.B., Bavuso S., and Boyd M. Dynamic fault tree models for fault tolerant computer systems. IEEE Transactions on Reliability 41 3 (1992) 363-377
27. Wachter M., and Haenni R. Propositional DAGs: a new graph-based language for representing Boolean functions. Proceedings of KR'06, 10th international conference on principles of knowledge representation and reasoning (2006)
28. Wachter M., Haenni R., and Jonczy J. Reliability and diagnostics of modular systems: a new probabilistic approach. Proceedings of DX'06, 18th international workshop on principles of diagnosis (2006)
29. ® Software Corporation. URL 〈http://www.relex.com〉.
30. ® Corporation. URL 〈http://www.reliasoft.com〉.
31. Brall A., Hagen W., and Tran H. Reliability block diagram modeling-comparisons of three software packages. Proceedings of the 53rd annual reliability and maintainability symposium (22-25 January 2007) 119-124
32. Sahner RA, Trivedi KS. SHARPE: symbolic hierarchical automated reliability and performance evaluator. Introduction and Guide for Users, Duke University, USA; 1992.
33. Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle J, et al. The Möbius modeling tool. In: Petri nets and performance models (PNPM); 2001.
34. Dugan J.B., Sullivan K.J., and Coppit D. Developing a low cost high-quality software tool for fault tree analysis. Proceedings of the international symposium on software reliability engineering (1999), IEEE, Boca Raton, USA 222-231
35. Sullivan K.J., Dugan J.B., and Coppit D. The Galileo fault tree analysis tool. Proceedings of the 29th annual international symposium on fault-tolerant computing (1999), IEEE, Madison, USA 232-235
36. Montani S., Portinale L., Bobbio A., and Raiteri D.C. Automatically translating dynamic fault trees into dynamic Bayesian networks by means of a software tool. Proceedings of the first international conference ARES'06 (2006), IEEE 804-809
37. Buchacker K. Modeling with extended fault trees. In: IEEE international symposium on high assurance systems engineering (HASE); 2000.
38. Lewis E. A load-capacity interference model for common-mode failures in 1-out-of-2: G systems. IEEE Transactions on Reliability 50 1 (2001) 47-51
39. Manian R, Dugan JB, Coppit D, Sullivan KJ. Combining various solution techniques for dynamic fault tree analysis of computer systems. In: IEEE international high-assurance systems engineering symposium; 1998.
40. Malhotra M, Trivedi KS. Reliability and performability techniques and tools: a survey. In: MMB; 1993. p. 27-48.
41. Trivedi KS, Hunter S, Garg S, Fricks R. Reliability analysis techniques explored through a communication network example. In: International workshop on computer-aided design, test, and evaluation for dependability; 1996.
42. Coppit D, Sullivan KJ, Dugan JB. Formal semantics for computational engineering: a case study on dynamic fault trees. In: ISSRE; 2000. p. 270-82.
43. Bobbio A., Puliafito A., and Telek M. A modeling framework to implement preemption policies in non-Markovian SPNs. IEEE Transactions on Software Engineering 26 1 (2000) 36-54
44. ®. Proceedings of the safety and reliability conference (ESREL07) (2007)
45. Scarpa M, Puliafito A, Distefano S. A parallel approach for the solution of non-Markovian petri nets. In: Proceedings of 10th European PVM/MPI users' group conference (EuroPVM/MPI03). Lecture notes in computer science, vol. 2840, Venice, Italy; 2003. p. 196-203.
46. Distefano S., and Puliafito A. Dynamic reliability block diagrams vs dynamic fault trees. Proceedings of the 53rd annual reliability and maintainability symposium (RAMS07) (2007), IEEE 71-76