Quantitative analysis of dependability critical systems based on UML statechart models

被引：1
|
作者：
Gábor, H [1 ]
István, M [1 ]
机构：
[1] Budapest Univ Technol & Econ, Dept Measurement & Informat Syst, H-1521 Budapest, Hungary
来源：
FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS | 2000年
关键词：
D O I：
10.1109/HASE.2000.895445
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
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.
引用
收藏
页码：83 / 92
页数：10
相关论文
共 50 条
  • [1] Quantitative analysis of UML statechart models of dependable systems
    Huszerl, G
    Majzik, I
    Pataricza, A
    Kosmidis, K
    Dal Cin, M
    COMPUTER JOURNAL, 2002, 45 (03): : 260 - 277
  • [2] UML models for dependability analysis of real-time systems
    Addouche, N
    Antoine, C
    Montmain, J
    2004 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN & CYBERNETICS, VOLS 1-7, 2004, : 5209 - 5214
  • [3] Stochastic dependability analysis of system architecture based on UML models
    Majzik, I
    Pataricza, A
    Bondavalli, A
    ARCHITECTING DEPENDABLE SYSTEMS, 2003, 2677 : 219 - 244
  • [4] Dependability analysis of DES based on MARTE and UML state machines models
    José Merseguer
    Simona Bernardi
    Discrete Event Dynamic Systems, 2012, 22 : 163 - 178
  • [5] Dependability analysis of DES based on MARTE and UML state machines models
    Merseguer, Jose
    Bernardi, Simona
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 2012, 22 (02): : 163 - 178
  • [6] Formal models of UML statechart diagrams based on Petri nets
    School of Computer Science and Technology, Beijing University of Aeronautics and Astronautics, Beijing 100083, China
    Beijing Hangkong Hangtian Daxue Xuebao, 2007, 2 (248-252):
  • [7] Dependability Modeling and Analysis of Software Systems Specified with UML
    Bernardi, Simona
    Merseguer, Jose
    Petriu, Dorina C.
    ACM COMPUTING SURVEYS, 2012, 45 (01)
  • [8] Safety PLC Programming Based on UML Statechart
    Medvedik, Milan
    Zdansky, Juraj
    13TH INTERNATIONAL CONFERENCE ON ELEKTRO (ELEKTRO 2020), 2020,
  • [9] A New approach to Detect Safety Violations in UML Statechart Models
    Prashanth, C. M.
    Shet, K. Chandrashekar
    INTERNATIONAL JOURNAL OF COMPUTER SCIENCE AND NETWORK SECURITY, 2008, 8 (07): : 167 - 174
  • [10] B Formal Modeling Based on UML Statechart
    Tao, Li
    Jia, Fengsheng
    Yao, Shuaijun
    2015 FIFTH INTERNATIONAL CONFERENCE ON INSTRUMENTATION AND MEASUREMENT, COMPUTER, COMMUNICATION AND CONTROL (IMCCC), 2015, : 1658 - 1663
12345