Quantitative Analysis of Uml Statechart Models of Dependable Systems

TitleQuantitative Analysis of Uml Statechart Models of Dependable Systems
Publication TypeJournal Article
Year of Publication2002
AuthorsHuszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., and Dal Cin, M.
Pagination260 - 277
Date Published2002
ISBN Number0010-4620

The paper introduces a method which allows quantitative dependability analysis of systems modeled by using the Unified Modeling Language (UML) statechart diagrams. The analysis is performed by transforming the UML model to stochastic reward nets (SRNs). 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 patterns. Performance-related measures can be directly derived using SRN tools, while dependability analysis requires explicit modeling of erroneous states and faulty behavior.