Quantitative analysis of dependability critical systems based on UML statechart models

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.

[1]  Kishor S. Trivedi,et al.  Stochastic Reward Nets for Reliability Prediction , 1996 .

[2]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[3]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[4]  Peter Buchholz,et al.  Hierarchically combined queueing Petri nets , 1994 .

[5]  Susanna Donatelli,et al.  A comparison of performance evaluation process algebra and generalized stochastic Petri nets , 1995, Proceedings 6th International Workshop on Petri Nets and Performance Models.

[6]  Diego Latella,et al.  Towards a Formal Operational Semantics of UML Statechart Diagrams , 1999, FMOODS.

[7]  Diego Latella,et al.  High-level Integrated Design Environment for dependability (HIDE) , 1999, Proceedings. Fifth International Workshop on Object-Oriented Real-Time Dependable Systems.

[8]  Andrea Bondavalli,et al.  Automatic dependability analysis for supporting design decisions in UML , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

[9]  Roberto Gorrieri,et al.  Extended Markovian Process Algebra , 1996, CONCUR.

[10]  Marco Ajmone Marsan,et al.  Stochastic Petri nets: an elementary introduction , 1988, European Workshop on Applications and Theory in Petri Nets.

[11]  Kishor S. Trivedi,et al.  Automated Generation and Analysis of Markov Reward Models Using Stochastic Reward Nets , 1993 .

[12]  Mario Dal Cin,et al.  Quantitative evaluation of dependability critical systems based on guarded Statechart models , 1999, Proceedings 4th IEEE International Symposium on High-Assurance Systems Engineering.

[13]  Claus Lewerentz,et al.  Formal Development of Reactive Systems , 1995, Lecture Notes in Computer Science.