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

DOI10.1007/S10626-011-0111-1zbMath1242.93075OpenAlexW1982623001MaRDI QIDQ434473

Simona Bernardi, José Merseguer

Publication date: 10 July 2012

Published in: Discrete Event Dynamic Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10626-011-0111-1

zbMATH Keywords

dependability modeling and analysisdeterministic and stochastic Petri netsMARTEUML state machines

Mathematics Subject Classification ID

Discrete event control/observation systems (93C65)

Uses Software

• MARTE

Cites Work

• Quantitative Analysis of UML Statechart Models of Dependable Systems

This page was built for publication: Dependability analysis of DES based on MARTE and UML state machines models