Quantitative analysis of dependability critical systems based on UML statechart models

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 2000-January, Issue , 2000, Pages 83-92

  Gabor H ^a   Istvan M ^a  

^a BUDAPEST UNIVERSITY OF TECHNOLOGY AND ECONOMICS   (Hungary)

Author keywords

Algorithm design and analysis; Embedded system; Environmental economics; Handicapped aids; Object oriented modeling; Performance analysis; Petri nets; Stochastic processes; Timing; Unified modeling language

Indexed keywords

ECONOMICS; EMBEDDED SYSTEMS; HUMAN REHABILITATION EQUIPMENT; MODELING LANGUAGES; PETRI NETS; RANDOM PROCESSES; STOCHASTIC SYSTEMS; SYSTEMS ENGINEERING; UNIFIED MODELING LANGUAGE;

ALGORITHM DESIGN AND ANALYSIS; ENVIRONMENTAL ECONOMICS; OBJECT ORIENTED MODEL; PERFORMANCE ANALYSIS; TIMING;

STOCHASTIC MODELS;

EID: 84929343103     PISSN: 15302059     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.2000.895445     Document Type: Conference Paper

References (14)

1. UML Semantics, version 1.1. Object Management Group, September 1997.
2. M. Ajmone Marsan. Stochastic Petri nets: An elementary introduction. In G. Rozenberg, editor, Advances in Petri Nets, LNCS 424, pages 1-29. Springer Verlag, 1991.
3. F. Bause, P. Buchholz, and P. Kemper. Hierarchically combined queueing Petri nets. In Proc. 11th Int. Conf. on Analysis and Optimization of Systems, Discrete Event Systems, Sophie-Antipolis, France, June 1994.
4. M. Bernardo and R. Gorrieri. Extended markovian process algebra. In U. Montanari and V. Sassone, editors, CONCUR'96, 7th Int. Conf. on Concurrency Theory, LNCS 1119, pages 315-330, Pisa, Italy, 1996. Springer Verlag.
5. A. Bondavalli, M. Dal Cin, D. Latella, and A. Pataricza. High-level Integrated Design Environment for Depependability (HIDE). In Proc. Fifth Int. Workshop on Object-Oriented Real-Time Dependable Systems (WORDS-99), Monterey, California, USA, November 18-20. 1999.
6. A. Bondavalli, I. Majzik, and I. Mura. Automatic dependability analysis for supporting design decisions in UML. In Proc. HASE'99, Fourth IEEE Int. Symposium on High Assurance Systems Engineering, Washington DC Metropolitan Area, USA, November 17-19. 1999.
7. G. Ciardo, A. Blakemore, P. F. Chimento, J. K. Muppala, and K. S. Trivedi. Automated Generation and Analysis of Markov Reward Models using Stochastic Reward Nets, volume 48 of IMA Volumes in Mathematics and its Applications. Springer Verlag, 1992.
8. M. Dal Cin, Huszerl G., and K. Kosmidis. Quantitative evaluation of dependability critical systems based on guarded statechart models. In Proc. HASE'99, Fourth IEEE Int. Symposium on High Assurance Systems Engineering, Washington DC Metropolitan Area, USA, November 17-19. 1999.
9. S. Donatelli, J. Hillston, and M. Ribaudo. A comparison of performance evaluation process algebra and generalized stochastic Petri nets. In Proc. 6th Int. Workshop on Petri Nets and Performance Models (PNPM'95), Duke University, North Carolina, USA, October 3-6. 1995.
10. D. Harel. Statecharts: A Visual Formalism for Complex Systems, volume 8. no. 3. of Science of Computer Programming, pages 231-274. 1987.
11. D. Latella, I. Majzik, and M. Massink. Towards a formal operational semantics of UML statechart diagrams. In Proc. FMOODS'99, IFIP TC6/WG6.1, 3rd IFIP Int. Conf. on Formal Methods for Open Object-based Distributed Syst., pages 331-347, Firenze, Italy, February 1999.
12. C. Lewerentz and Th. Lindner, editors. Formal Development of Reactive Systems, volume 891. of Lecture Notes in Computer Science. Springer, 1994.
13. J. K. Muppala, G. Ciardo, and K. S. Trivedi. Stochastic reward nets for reliability prediction. Commun. in Reliability, Maintainability and Serviceability, 1(2):9-20, July 1994.
14. J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language Reference Manual. Addison-Wesley, 1999.