Quantitative Analysis of UML Statechart Models of Dependable Systems

G. Huszerl
2002 Computer journal  
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 patterns. Performance measures can be directly derived using SRN tools, while
more » ... ty analysis requires explicit modeling of erroneous states and faulty behavior.
doi:10.1093/comjnl/45.3.260 fatcat:5kgppuwe4ffr3dvabjjn5z7ltq