Quantitative Analysis of UML Statechart Models of Dependable Systems

DOI10.1093/COMJNL/45.3.260MaRDI QIDQ4551648zbMATH OpenOpenAlexFDO

Authors

Publication date 6 October 2002

Published in The Computer Journal (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/comjnl/45.3.260

zbMATH Keywords

unified modeling language

Mathematics Subject Classification ID

Distributed systems (68M14)

Recommendations

• Dependability modeling and analysis of software systems specified with UML
• Dependability analysis of DES based on MARTE and UML state machines models
• A probabilistic extension of UML statecharts specification and verification
• Formal dependability modeling and analysis: a survey
• A new approach to model checking of UML state machines
• scientific article; zbMATH DE number 1919419

Cited in

(3)

• Dependability modeling and analysis of software systems specified with UML
• Dependability analysis of DES based on MARTE and UML state machines models
• Statechartable Petri nets

Describes a project that uses

Uses Software

• SPIN

This page was built for publication: Quantitative Analysis of UML Statechart Models of Dependable Systems

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