OpenSESAME simple but extensive structured availability modeling environment

QEST 2005 - Proceedings Second International Conference on the Quantitative Evaluation of SysTems

Volumn 2005, Issue , 2005, Pages 253-254

  Walter, Max ^a   Trinitis, Carsten ^a  

^a TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 33847306588     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/QEST.2005.27     Document Type: Conference Paper

References (12)

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, and A. Pataricza. High-level Integrated Design Environment for Dependability. In Workshop on Real-Time Dependable Systems, 1999.
3. R. Carmo, L. de Carvalho, E. de Souza e Silva, M.C.Diniz, and R. Muntz. TANGRAM II: A performability modeling environment tool. In LNCS 1245, 1997.
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. J. Dugan, K. Sullivan, and D. Coppit. Developing a low-cost high-quality software tool for dynamic fault-tree analysis. IEEE Transaction on Reliability, 49(1):49ff, Mar. 2000.
6. R. German, C. Kelling, A. Zimmermann, and G. Hommel. TimeNet: A toolkit for evaluating non-Markovian stochastic Petri nets. Performance Evaluation, 24:69ff, 1995.
7. C. Hirel, B. Truffin, and K. Trivedi. SPNP: Stochastic petri net package, version 6.0. In Proc. 11th International Conference, on TOOLS, 2000.
8. C. Lindemann. Performance Modelling with Deterministic and Stochastic Petri Nets. Wiley and Sons, 1998.
9. M. Marseguerra and E. Zio. Basics of the Monte Carlo Method with Application to System Reliability. LiLoLe Verlag, 2002.
10. M.Walter and W. Schneeweiss. The modeling world of Reliability/Safety Engineering. LiLoLe Verlag, 2005.
11. D. Tang, M. Hecht, J. Miller, and J. Handal. MEADEP: A dependability evaluation tool for engineers. IEEE Transaction on Computers, 47(4):443ff, Dec. 1998.
12. V. Volovoi. Modeling of system reliability using Petri nets with aging tokens. Reliability Engineering and System Safety, 84:149-161, 52004.