Dependability analysis of DES based on MARTE and UML state machines models
From MaRDI portal
Publication:434473
DOI10.1007/S10626-011-0111-1zbMATH Open1242.93075OpenAlexW1982623001MaRDI QIDQ434473FDOQ434473
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
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
Cited In (5)
- Using UML models for the performance analysis of network systems
- Quantitative Analysis of UML Statechart Models of Dependable Systems
- FM 2005: Formal Methods
- Dependability modeling and analysis of software systems specified with UML
- Extending UML sequence diagrams to model trust-dependent behavior with the aim to support risk analysis
Uses Software
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)
