Quantitative Analysis of UML Statechart Models of Dependable Systems

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.

[1]  Ivar Jacobson,et al.  Unified Modeling Language , 2020, Definitions.

[2]  M. D. Cin,et al.  TRANSFORMATION OF GUARDED STATECHARTS FOR QUANTITATIVE EVALUATION OF DEPENDABLE EMBEDDED SYSTEMS , 1999 .

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

[4]  Dániel Varró,et al.  Designing the automatic transformation of visual languages , 2002, Sci. Comput. Program..

[5]  Konstantinos Kosmidis,et al.  UML-Extensions for Quantitative Analysis , 2000 .

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

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

[8]  Mario Dal Cin,et al.  Checking Modification Tolerance , 1998, HASE.

[9]  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.

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

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

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

[13]  Hermann Kopetz,et al.  Fault tolerance, principles and practice , 1990 .

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

[15]  Bruce Powel Douglass.  Real-Time UML , 2002, FTRTFT.

[16]  Kishor S. Trivedi,et al.  SPNP: stochastic Petri net package , 1989, Proceedings of the Third International Workshop on Petri Nets and Performance Models, PNPM89.

[17]  István Majzik,et al.  Quantitative analysis of dependability critical systems based on UML statechart models , 2000, HASE.

[18]  Mario Dal Cin,et al.  Modeling fault-tolerant system behavior , 1998 .

[19]  Diego Latella,et al.  Automatic Verification of a Behavioural Subset of UML Statechart Diagrams Using the SPIN Model-checker , 1999, Formal Aspects of Computing.

[20]  James M. Purtilo,et al.  Automated computation of decomposable synchronization conditions , 1997, Proceedings 1997 High-Assurance Engineering Workshop.

[21]  Susann C. Allmaier,et al.  PANDA -- Petri Net Analysis and Design Assistant , 1997 .

[22]  Mario Dal Cin,et al.  Verifying fault-tolerant behavior of state machines , 1997, Proceedings 1997 High-Assurance Engineering Workshop.

[23]  Claus Lewerentz,et al.  Formal Development of Reactive Systems: Case Study Production Cell , 1995 .

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

[25]  H. Gabor,et al.  Quantitative analysis of dependability critical systems based on UML statechart models , 2000, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000).

[26]  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.

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

[28]  István Majzik,et al.  Modeling and analysis of redundancy management in distributed object-oriented systems by using UML statecharts , 2001, Proceedings 27th EUROMICRO Conference. 2001: A Net Odyssey.

[29]  Andrea Bondavalli,et al.  Automated dependability analysis of UML designs , 1999, Proceedings 2nd IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'99) (Cat. No.99-61702).

[30]  Mario Dal Cin,et al.  Structured language for specifications of quantitative requirements , 2000, HASE.

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

[32]  C. Q. Lee,et al.  The Computer Journal , 1958, Nature.