Title :
Quantitative analysis of dependability critical systems based on UML statechart models
Author :
Gábor, Huszerl ; Istvan, M.
Author_Institution :
Dept. of Meas. & Inf. Syst., Budapest Univ. of Technol. & Econ., Hungary
Abstract :
The paper introduces a method which allows quantitative performance and dependability analysis of systems modeled by using UML statechart diagrams. The analysis is performed by transforming the UML model to Stochastic Reward Nets (SRN). A large subset of statechart model elements is supported including event processing, state hierarchy and transition priorities. The transformation is presented by a set of SRN design patterns. Performance measures can be directly derived using SRN tools, while dependability analysis requires explicit modeling of erroneous states and faulty behavior
Keywords :
diagrams; formal specification; object-oriented programming; software performance evaluation; software reliability; specification languages; Stochastic Reward Nets; UML statechart models; dependability critical systems; event processing; quantitative performance analysis; state hierarchy; transition priorities; Algorithm design and analysis; Embedded system; Environmental economics; Handicapped aids; Object oriented modeling; Performance analysis; Petri nets; Stochastic processes; Timing; Unified modeling language;
Conference_Titel :
High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000
Conference_Location :
Albuquerque, NM
Print_ISBN :
0-7695-0927-4
DOI :
10.1109/HASE.2000.895445
