Dependability analysis of DES based on MARTE and UML state machines models

被引：8
|
作者：
Merseguer, Jose [1 ]
Bernardi, Simona [2 ]
机构：
[1] Univ Zaragoza, Dept Informat & Ingn Sistemas, Grp Discrete Events Syst Engn, Zaragoza, Spain
[2] Acad Gen Militar, Ctr Univ Def, Zaragoza, Spain
来源：
DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS | 2012年 / 22卷 / 02期
关键词：
Dependability modeling and analysis; MARTE; UML state machines; Deterministic and Stochastic Petri nets;
D O I：
10.1007/s10626-011-0111-1
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The "Modeling and Analysis of Real-Time and Embedded systems" profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a "Dependability Analysis and Modeling" profile (DAM), then providing UML with dependability assets. In this work, we propose an approach for the automatic transformation of UML-DAM models into Deterministic and Stochastic Petri nets and the subsequent dependability analysis.
引用
收藏
页码：163 / 178
页数：16
相关论文
共 50 条
  • [1] Dependability analysis of DES based on MARTE and UML state machines models
    José Merseguer
    Simona Bernardi
    [J]. Discrete Event Dynamic Systems, 2012, 22 : 163 - 178
  • [2] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Zhou, Yu
    Baresi, Luciano
    Rossi, Matteo
    [J]. JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2013, 28 (01) : 188 - 202
  • [3] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    Yu Zhou
    Luciano Baresi
    Matteo Rossi
    [J]. Journal of Computer Science and Technology, 2013, 28 : 188 - 202
  • [4] Towards a Formal Semantics for UML/MARTE State Machines Based on Hierarchical Timed Automata
    周宇
    Luciano Baresi
    Matteo Rossi
    [J]. Journal of Computer Science & Technology, 2013, 28 (01) : 188 - 202
  • [5] Stochastic dependability analysis of system architecture based on UML models
    Majzik, I
    Pataricza, A
    Bondavalli, A
    [J]. ARCHITECTING DEPENDABLE SYSTEMS, 2003, 2677 : 219 - 244
  • [6] Data flow analysis from UML/MARTE models based on binary traces
    Posadas, Hector
    Merino, Javier
    Villar, Eugenio
    [J]. 2020 XXXV CONFERENCE ON DESIGN OF CIRCUITS AND INTEGRATED SYSTEMS (DCIS), 2020,
  • [7] Quantitative analysis of dependability critical systems based on UML statechart models
    Gábor, H
    István, M
    [J]. FIFTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2000, : 83 - 92
  • [8] Executing AADL models with UML/MARTE
    Mallet, Frederic
    Andre, Charles
    DeAntoni, Julien
    [J]. 2009 14TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS), 2009, : 372 - 377
  • [9] System Synthesis from UML/MARTE Models
    Posadas, Hector
    Penil, Pablo
    Nicolas, Alejandro
    Villar, Eugenio
    [J]. PROCEEDINGS OF THE 2013 ELECTRONIC SYSTEM LEVEL SYNTHESIS CONFERENCE (ESLSYN), 2013,
  • [10] Adding Dependability Analysis Capabilities to the MARTE Profile
    Bernardi, Simona
    Merseguer, Jose
    Petriu, Dorina C.
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2008, 5301 : 736 - +
12345