Quantitative analysis of UML statechart models of dependable systems

被引：24

作者：

Huszerl, G ^{[1
]}

Majzik, I

Pataricza, A

Kosmidis, K

Dal Cin, M

机构：

[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, Budapest, Hungary

[2] Univ Erlangen Nurnberg, Dept Comp Sci Comp Struct 3, Erlangen, Germany

来源：

COMPUTER JOURNAL | 2002年 / 45卷 / 03期

关键词：

Stochastic reward nets (SRN) - Unified modeling language (UML);

D O I：

10.1093/comjnl/45.3.260

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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.

引用

页码：260 / 277

页数：18

共 29 条

[1] ALLMAIER S, 1997, LECT NOTES COMPUTER, V1245, P58
[2] BAUSE F, 1994, LECT NOTES COMPUTER, V199, P176
[3] Bernardo M., 1996, LECT NOTES COMPUTER, V1119, P315
[4] Automated dependability analysis of UML designs
Bondavalli, A
Majzik, I
Mura, I
[J]. 2ND IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC'99), PROCEEDINGS, 1999, : 139 - 144
[5] BONDAVALLI A, 1999, P 5 INT WORKSH OBJ O, P87
[6] Ciardo G., 1993, Linear Algebra, Markov Chains and Queuing Models
[7] Ciardo G., 1989, P INT WORKSH PETR NE, P142, DOI DOI 10.1109/PNPM.1989.68548
[8] CSERTAN G, 1998, 27439 ESPRIT
[9] Structured language for specifications of quantitative requirements
Dal Cin, M
[J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 221 - 227
[10] DALCIN M, 1999, P 10 EUR WORKSH DEP, P143

← 1 2 3 →