Dependability analysis of DES based on MARTE and UML state machines models |
| |
Authors: | José Merseguer Simona Bernardi |
| |
Affiliation: | (1) Group of Discrete Events Systems Engineering, Departamento de Inform?tica e Ingenier?a de Sistemas, Universidad de Zaragoza, Zaragoza, Spain;(2) Centro Universitario de la Defensa, Academia General Militar, Zaragoza, Spain |
| |
Abstract: | 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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|