How to integrate inter-component dependencies into combinatorial availability models

Proceedings of the Annual Reliability and Maintainability Symposium

Volumn , Issue , 2004, Pages 226-231

  Trinitis, Carsten ^a   Walter, Max ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

Availability Models; Common Cause Failures; Failure Propagation; OpenSESAME; Stand by Redundancy

Indexed keywords

AVAILABILITY MODELS; COMMON SENSE FAILURE; FAILURE PROPAGATION; OPENSESAME; STAND-BY REDUNDANCY; COMMON CAUSE FAILURE; GENERALIZED STOCHASTIC PETRI NETS; HIGHLY AVAILABLE SYSTEMS; INTER-COMPONENT DEPENDENCIES; RELIABILITY BLOCK DIAGRAMS;

COMPUTATIONAL METHODS; MARKOV PROCESSES; MATHEMATICAL MODELS; MATHEMATICAL TRANSFORMATIONS; PETRI NETS; PROBLEM SOLVING; TELECOMMUNICATION SYSTEMS; AVAILABILITY; MAINTAINABILITY; QUALITY CONTROL; RELIABILITY; STOCHASTIC SYSTEMS;

COMBINATORIAL MATHEMATICS; STOCHASTIC MODELS;

EID: 2342621286     PISSN: 0149144X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (18)

1. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley and Sons, 1995.
2. A. Bondavalli, M. Dal Cin, D. Latella, I. Majzik, A. Pataricza, and G. Savoia. Dependability analysis in the early phases of uml based system design. Journal of Computer Systems Science and Engineering, 16:265ff, 2001.
3. G. Chiola. GreatSPN Users Manual. Version 1.3. Dipartimento di Informatica, Torino, Italy, September 1987.
4. G. Clark, T. Courtney, D. Daly, D. Deavours, S. Derisavi, J. M. Doyle, W. H. Sanders, and P. Webster. The Möbius modeling tool. In Proc. 9th International Workshop on Petri Nets and Performance Models, 2001.
5. David Coppit and Kevin J. Sullivan. Galileo: A tool built from mass-market applications. In Proceedings of the 22nd International Conference on Software Engineering, pages 750-753. IEEE, 2000.
6. S.A. Doyle, J.B. Dugan, and F.A. Patterson-Hine. A combinatrial approach to modeling imperfect coverage. IEEE Transaction on Reliability, 44(1):87ff, March 1995.
7. J.B. Dugan, K.J. Sullivan, and D. Coppit. Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transaction on Reliability, 49(1):49ff, March 2000.
8. R. German, C. Kelling, A. Zimmermann, and G. Hommel. TimeNet: A toolkit for evaluating non-Markovian stochastic Petri nets. Performance Evaluation, 24:69ff, 1995.
9. A. Goyal, W. Carter, E. de Souza e Silva, S. Lavenberg, and K. S. Trivedi. The system availability estimator (save). In Proc. Sixteenth International Symposium on Fault-Tolerant Computing, July 1986.
10. C. Lindemann. Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley and Sons, 1998.
11. C. Lindemann, A. Reuys, and A. Thümmler. The DSPNexpress 2.000 Performance and Dependability Modeling Environment. In Fault Tolerant Computing Symposium 29. IEEE Computer Society Press, 1999.
12. M. Malhorta and K.S. Trivedi. Power-hierarchy of dependability model types. IEEE Transaction on Reliability, 43(2):493ff, September 1994.
13. J. Muppala, R. Fricks, and K.S. Trivedi. Techniques for system dependability evaluation. In W.Grassmann, editor, Computational Probability. Kluwer Academic Publishers, 2000.
14. A.V. Ramesh, D.W. Twigg, U.R. Sandadi, T.C. Sharma, K.S. Trivedi, and A.K. Somani. An integrated reliability modeling environment. Reliability Engineering and System Safety, 65(1):65ff, June 1999.
15. R.A. Sahner, K.S. Trivedi, and A. Puliafito. Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers, 1996.
16. W.H. Sanders, W.D. Obal II, M.A. Qureshi, and F.K. Widjanarko. The UltraSAN modeling environment. Performance Evaluation, 24, 1995.
17. W.G. Schneeweiss. Petri Nets for Reliability Modeling. LiLoLe-Verlag, 1999.
18. D. Tang, M. Hecht, J. Miller, and J. Handal. MEADEP: a dependability evaluation tool for engineers. IEEE Transaction on Computers, 47(4):443ff, December 1998.