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...

Full description

Saved in:
Bibliographic Details
Published in:Computer journal 2002-01, Vol.45 (3), p.260-277
Main Author: Huszerl, G.
Format: Article
Language:English
Subjects:
Design
Embedded systems
Quantitative analysis
Citations: Items that cite this one
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:0010-4620
1460-2067
DOI:10.1093/comjnl/45.3.260