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

fYear

2000

fDate

2000

Firstpage

83

Lastpage

92

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;

fLanguage

English

Publisher

ieee

Conference_Titel

High Assurance Systems Engineering, 2000, Fifth IEEE International Symposim on. HASE 2000

Conference_Location

Albuquerque, NM

Print_ISBN

0-7695-0927-4

Type

conf

DOI

10.1109/HASE.2000.895445

Filename

895445