In: Proc. 5th Int. IEEE High-Assurance Systems Engineering Symposium, 15-17 November 2000, Albuquerque, NM, pages 83-92. 2000.
Abstract: The paper introduces a method which allows qualitative performance and dependability analysis of systems modeled by UML statechart diagrams. The analysis is performed by transforming the UML model to stochastic reward net (SRN). A large subset of statechart model elements is supported by including event processing, state hierarchy and transition priorities. The transformation is presented by a set of SRN design patterns. Performance can be directly derived using SRN tools, while dependability analysis requires explicit modeling of erroneous states and faulty behavior.
Keywords: UML, dependability analysis, design patterns, performance analysis, statechart diagrams, stochastic reward nets.