Quantitative Analysis of Uml Statechart Models of Dependable Systems
| Title | Quantitative Analysis of Uml Statechart Models of Dependable Systems |
| Publication Type | Journal Article |
| Year of Publication | 2002 |
| Authors | Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., and Dal Cin, M. |
| Journal | COMPUTER JOURNAL |
| Volume | 45 |
| Issue | 3 |
| Pagination | 260 - 277 |
| Date Published | 2002 |
| ISBN Number | 0010-4620 |
| Abstract | 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. |
