OpenSESAME: An intuitive dependability modeling Environment supporting inter-component dependencies

Proceedings of IEEE Pacific Rim International Symposium on Dependable Computing, PRDC

Volumn 2001-January, Issue , 2001, Pages 76-83

  Walter, Max ^a   Trinitis, Carsten ^a   Karl, Wolfgang ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AVAILABILITY; STOCHASTIC SYSTEMS;

AVAILABILITY MODELS; DEPENDABILITY MODELING; GENERALIZED STOCHASTIC PETRI NETS; HIGH AVAILABILITY SYSTEMS; HIGHLY AVAILABLE SYSTEMS; INTER-COMPONENT DEPENDENCIES; STATE SPACE-BASED METHODS; TOOL SUPPORT;

PETRI NETS;

EID: 38049045552     PISSN: 15410110     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PRDC.2001.992683     Document Type: Conference Paper

References (13)

1. PICMG Subcommittee 2.14. CompactPCI Multiprocessing Specification, Draft 0.6. PCI Industrial Computers Manufacturers Group. Unpublished.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Wiley and Sons, 1995.
3. German, R. et al. TimeNet: A toolkit for evaluating non-Markovian stochastic Petri nets. Performance Evaluation, 24:69-87, 1995.
4. G. Graf, M. Leberecht, and M. Walter. High Availability Commodity Computing - A CompactPCI-System Evaluation. In Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, volume 4. CSREA Press, 2000.
5. K. Heidtmann. Zuverlässigkeitsbewertung technischer Systeme. Teubner Verlag, 1997.
6. J. G. Kemeny and J. L. Snell. Finite Markov Chains. Springer, 2nd edition, 1978.
7. C. Lindemann. Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley and Sons, 1998.
8. NASA Glenn Research Center. Reliability Block Diagrams and Reliability Modeling. http://wwwosma.lerc.nasa.gov/rbd/rbdtut.html.
9. PCI Industrial Computers Manufacturers Group. CompactPCI Specification, Revision 3.0, October 1999. http://www.picmg.org/.
10. PCI Industrial Computers Manufacturers Group. CompactPCI PICMG2.1 Hot Swap Specification Revision 2.0, January 2001. http://www.picmg.org.
11. R. A. Sahner and K. S. Trivedi and A. Puliafito. Performance and Reliability Analysis of Computer Systems. Kluwer Academic Publishers, 1996.
12. W. H. Sanders. UltraSAN User's Manual Version 3.0. Center for Reliable and High-Performance Computing, University of Illinois, 1995.
13. M. Walter. OpenSESAME - A Tool's Concept. In Proceedings of the Satellite Workshops of the 27th International Colloquium on Automata Languages, and Programming, volume 8 of Proceedings in Informatics. Carleton Scientific, 2000.