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

作者：Merseguer Jose^*; Bernardi Simona

来源：Discrete Event Dynamic Systems, 2012, 22(2): 163-178.

DOI：10.1007/s10626-011-0111-1

• Dependability modeling and analysis
• MARTE
• UML state machines
• Deterministic and Stochastic Petri nets

UML (Unified Modeling Language) is a standard design notation which offers the state machines diagram to specify reactive software systems. The %26quot;Modeling and Analysis of Real-Time and Embedded systems%26quot; profile (MARTE) enables UML with capabilities for performance analysis. MARTE has been specialized in a %26quot;Dependability Analysis and Modeling%26quot; 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.

• 出版日期2012-6