OpenSESAME-the simple but extensive, structured availability modeling environment

Reliability Engineering and System Safety

Volumn 93, Issue 6, 2008, Pages 857-873

  Walter, Max ^a   Siegle, Markus ^b   Bode, Arndt ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

^b BUNDESWEHR UNIVERSITY MUNICH   (Germany)

Author keywords

Adjunct processor; Dependability modeling; Fault tolerant water supply; Reliability block diagrams; Stochastic dependencies; Web server

Indexed keywords

FAILURE ANALYSIS; GRAPHIC METHODS; RANDOM PROCESSES; SERVERS; STOCHASTIC MODELS;

DEPENDABILITY MODELING; FAULT-TOLERANT WATER SUPPLY; GRAPHICAL DIAGRAMS; RELIABILITY BLOCK DIAGRAMS; STATE-BASED MODELS;

FAULT TOLERANT COMPUTER SYSTEMS;

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

References (43)

1. Schneeweiss W.G. Reliability modeling (2001), LiLoLe, Hagen
2. Walter M., and Schneeweiss W. The modeling world of reliability/safety engineering (2005), LiLoLe
3. Haverkort B., and Niemegeers I. Performability modelling tools and techniques. Perform Eval 25 1 (1996) 17-40
4. Trivedi K, Ciardo G, Malhotra M, Sahner R. Dependability and performability analysis. In: Lecture notes in computer science, vol. 729; 1993. p. 587-612.
5. Marseguerra M., and Zio E. Basics of the Monte Carlo method with application to system reliability (2002), LiLoLe
6. Schneeweiss W.G. The fault tree method (1999), LiLoLe, Hagen
7. Relex Software. Managing reliability across the product lifecycle; 2005. URL 〈http://www.relexsoft ware.com/〉.
8. Reliasoft Corporation. Reliability software, training, consulting and related services; 2005. URL 〈http://www.reliasoft.com/〉.
9. Hermanns H., Herzog U., and Katoen J.-P. Process algebra for performance evaluation. Theor Comput Sci 274 1-2 (2002) 43-87
10. Kuntz M, Siegle M, Werner E. CASPA-A tool for symbolic performance and dependability evaluation. In: Proceedings of the 1st European performance evaluation workshop. Lecture notes in computer science, vol. 3236. Berlin: Springer; 2004. p. 293-307.
11. German R., Kelling C., Zimmermann A., and Hommel G. TimeNet: a toolkit for evaluating non-Markovian stochastic Petri nets. Perform Eval 24 (1995) 69-87
12. Lindemann C. Performance modelling with deterministic and stochastic Petri nets (1998), Wiley, New York
13. Ajmone Marsan M., Balbo G., Conte G., Donatelli S., and Franceschinis G. Modelling with generalized stochastic Petri nets (1995), Wiley, New York
14. Hirel C, Truffin B, Trivedi K. SPNP: stochastic Petri net package, version 6.0. In: Proceedings of the 11th international conference on TOOLS; 2000. p. 354-7.
15. Clark G, Courtney T, Daly D, Deavours D, Derisavi S, Doyle JM, et al. The Möbius modeling tool. In: Proceedings of the 9th international workshop on Petri nets and performance models. IEEE Computer Society Press; 2001. p. 241-50.
16. Walter M, Trinitis C. How to integrate inter-component dependencies into combinatorial availability models. In: Proceedings of the annual reliability and maintainability symposium (RAMS 2004). Los Angeles, USA: IEEE Computer Society Press; 2004. p. 226-31.
17. Walter M, Trinitis C. Simple models for high-availability systems with dependent components. In: Proceedings of the 2006 European safety and reliability conference, vol. 3. London: Taylor & Francis; 2006. p. 1719-26.
18. Walter M, Trinitis C. OpenSESAME: simple but extensive structured availability modeling environment. In: Proceedings of the 2nd international conference on the quantitative evaluation of systems (QEST) 2005. IEEE Computer Society Press; 2005. p. 253-4.
19. Sahner R., Trivedi K., and Puliafito A. Performance and reliability analysis of computer systems (1996), Kluwer Academic Publishers, Dordrecht
20. Kuo S.-K., Lu S.-K., and Yeh F.-M. Determining terminal-pair reliability based on edge expansion diagrams using OBDD. IEEE Trans Reliab 48 (1999) 234-246
21. Saad Y., and Schultz M. GMRES: a generalized minimal residual algorithm for solving nonsymmetric linear systems. SIAM J Sci Stat Comput 7 3 (1986) 856-869
22. Lampka K, Siegle M. Activity-local symbolic state graph generation for high-level stochastic models. In: Proceedings of the 13th GI/ITG conference on measuring, modelling and evaluation of computer and communication systems (MMB). Nürnberg, Germany; 2006. p. 245-63.
23. Lampka K, Siegle M. Analysis of Markov reward models unsing zero-suppressed multi-terminal BDDs. In: Proceedings of the 1st international conference on performance evaluation methodologies and tools (valuetools). Pisa, Italy: ACM press; 2006. 10p. ISBN 1-59593-504-5 (CD edition).
24. Minato S. Zero-suppressed BDDs for set manipulation in combinatorial problems. In: Proceedings of the 30th ACM/IEEE design automation conference; 1993. p. 272-7.
25. Hermanns H., Kwiatkowska M., Norman G., Parker D., and Siegle M. On the use of MTBDDs for performability analysis and verification of stochastic systems. J Logic Algebraic Program 56 1-2 (2003) 23-67
26. Siegle M, Lampka K, Walter M. An easy-to-use, efficient tool-chain to analyze the availability of telecommunication equipment. In: Proceedings of the 11th international workshop on formal methods for industrial critical systems (FMICS 2006). Lecture notes on computer science. Berlin: Springer; 2006. p. 245-64.
27. Parker D. Implementation of symbolic model checking for probabilistic systems. PhD thesis, School of Computer Science, Faculty of Science, University of Birmingham; 2002.
28. Bobbio A, Puliafito A, Scarpa M, Telek M. WEBSpn: a WEB-accessible Petri net tool. In: Proceedings of the WEB-based modeling and simulation. San Diego, CA; 1998. p. 137-42.
29. Hunter SW, Smith WE. Availability modeling and analysis of a two node cluster. In: Proceedings of the 5th international conference on information systems, analysis and synthesis; 1999.
30. Held G. Ethernet networks (1994), Wiley, New York
31. PICMG Subcommittee 3.0, Advanced telecom computing architecture specification. PCI Industrial Computers Manufacturers Group; 2003. 〈http://www.picmg.org/〉.
32. Department of Defense, USA. Reliability prediction of electronic equipment. MilHdbk217F Notice 2; 1995.
33. Siemens AG. Reliability and quality specification failure rates of components. Technical Report SN29500; 1986.
34. Tang D., Hecht M., Miller J., and Handal J. MEADEP: a dependability evaluation tool for engineers. IEEE Trans Comput 47 4 (1998) 443-450
35. Bondavalli A., Dal Cin M., Latella D., Majzik I., Pataricza A., and Savoia G. Dependability analysis in the early phases of UML based system design. J Comput Syst Sci Eng 16 (2001) 265-275
36. Majzik I, Pataricza A, Bondavalli A. Stochastic dependability analysis of system architecture based on UML models. In: Lecture notes in computer science, vol. 2677; 2003. p. 219-44.
37. Dugan J, Venkataraman B, Gulati R. DIFtree: a software package for the analysis of dynamic fault tree models. In: Proceedings of the reliability and maintainability symposium (RAMS); 1997. p. 64-70.
38. Dugan J., Sullivan K., and Coppit D. Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Trans Reliab 49-59 1 (2000) 49ff
39. Coppit D, Sullivan KJ. Galileo: a tool built from mass-market applications. In: Proceedings of the 22nd international conference on software engineering. IEEE Computer Society Press; 2000. p. 750-3.
40. Bouissou M., and Bon J.L. A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes. Reliab Eng Syst Safety (2003) 149-163
41. Distefano S, Xing L. A new approach to modeling the system reliability: dynamic reliability block diagrams. In: Proceedings of the annual reliability and maintainability symposium (RAMS 2006). IEEE; 2006. p. 189-95.
42. Distefano S, Puliafito A. System modelling with dynamic reliability block diagrams. In: Proceedings of the 2006 European safety and reliability conference (ESREL 2006), vol. 1. London: Taylor & Francis; 2006. p. 141-50.
43. Distefano S, Scarpa M, Puliafito A. Modeling distributed computing system reliability with DRBD. In: Proceedings of the 25th symposium on reliable distributed systems (SRDS 2006). IEEE; 2006. p. 106-18.