Quantitative evaluation of dependability critical systems based on guarded Statechart models

Proceedings - 4th IEEE International Symposium on High-Assurance Systems Engineering, HASE 1999

Volumn , Issue , 1999, Pages 37-45

  Dal Cin, M ^a   Huszerl, G ^a   Kosmidis, K ^a  

^a UNIVERSITY OF ERLANGEN NUREMBERG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SYSTEMS ENGINEERING;

CRITICAL SYSTEMS; DEPENDABILITY ANALYSIS; HARDWARE AND SOFTWARE COMPONENTS; QUANTITATIVE EVALUATION; REACTIVE BEHAVIOUR; STATECHARTS; STOCHASTIC REWARD NETS; UML STATECHARTS;

EMBEDDED SYSTEMS;

EID: 36849067480     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/HASE.1999.809473     Document Type: Conference Paper

References (17)

1. M. Ajmone Marsan, G. Balbo, G. Conte (1986): Performance Models of Multiprocessor Systems, The MIT Press.
2. S. Allmaier, S. Dalibor (1997): PANDA Petri Net ANalysis and Design Assistant, Tools Descriptions, 9th Int. Conference on Modeling Techniques and Tools for Computer Performance Evaluation, St. Malo, 1997.
3. S. Allmaier, D. Kreische, Parallel approaches to the numerical transient analysis of stochastic reward nets ICATPN'99, Springer LNCS Vol.1639, pp. 147167, 1999
4. G. Ciardo, A. Blakemore, P. Chimento, J. Muppala, K. Trivedi, Automated generation and analysis of Markov reward models using Stochastic Reward Nets, Linear Algebra, Markov Chains and Queueing Models, Springer, 1992
5. M. Dal Cin: Checking Modification Tolerance, Proceedings of the Third IEEE International HighAssurance Systems Engineering Symposium, HASE 98 pp. 912, 1998.
6. M. Dal Cin, G. Huszerl, K. Kosmidis, Transformation of guarded statecharts for quantitative evaluation of embedded systems, Proc. 10th European Workshop on Dependable Computing. Vienna, Österreichische Computer Gesellschaft, pp. 143148, 1999
7. M. Dal Cin: Verifying faulttolerant behavior of state machines. In Proceedings of the Second IEEE HighAssurance Systems Engineering Workshop HASE 97, Bethesda, Maryland. IEEE: 94-99, 1997.
8. M. Dal Cin (1998): Modeling faulttolerant system behavior, in Advances in Computing Science Vol. 3, Springer Verlag Wien New York.
9. B.P. Douglass (1998): RealTime UML, Adddison Wesley.
10. D. Harel (1987): Statecharts: A visual formalism for complex systems. Science of Computer Programming 8: 231-274
11. HIDE: Highlevel Integrated Design Environment for Dependability, University of ErlangenNuremberg (FAU IMMD3), Consortio Pisa Ricerche Pisa Dependable Computing Centre (PDCC), Technical University of Budapest (TUBMIT), MID GmbH, INTECS Sistemi S.p.A.
12. G. Huszerl (1998): Formal verification of faulttolerant systems. A relational approach to model checking. Diploma thesis, IMMD3
13. P.A. Lee, T. Anderson (1990): Fault Tolerance, Principles and Practice. Springer Verlag, Wien NewYork
14. C. Lewerentz, Th. Lindner (Eds.) (1994): Formal Development of Reactive Systems, Springer Lecture Notes in Computer Science Vol. 891
15. P. Liggesmeyer, M. Rothfelder (1998): Towards automated proof of failsafe behavior, in Computer Safety, Reliability, Security, Springer LNCS Vol 1516: 169-184
16. G. Matos, J. Purtilo, E. White (1997): Automated computation of decomposable synchronization conditions. Second IEEE HighAssurance Systems Engineering Workshop HASE 97, Bethesda, Maryland. IEEE: 72-77
17. MID: INNOVATOR, MID GmbH Nürnberg