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

DOI10.1007/S10626-011-0111-1MaRDI QIDQ434473zbMATH OpenOpenAlexFDO

Authors José Merseguer, Simona Bernardi

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)

Recommendations

• Quantitative Analysis of UML Statechart Models of Dependable Systems
• Dependability modeling and analysis of software systems specified with UML
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• Formal Techniques for Networked and Distributed Systems - FORTE 2005
• scientific article; zbMATH DE number 1967727

Cites work

• Quantitative Analysis of UML Statechart Models of Dependable Systems

Cited in

(5)

• Using UML models for the performance analysis of network systems
• Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis
• Dependability modeling and analysis of software systems specified with UML
• Quantitative Analysis of UML Statechart Models of Dependable Systems
• FM 2005: Formal Methods

Describes a project that uses

Uses Software

• MARTE

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q434473)