Statecharts: A visual formalism for complex systems
Science of Computer Programming
Communications of the ACM
Design of dependable computing systems
Design of dependable computing systems
Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and the Unified Process
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
AToM3: A Tool for Multi-formalism and Meta-modelling
FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
A Probabilistic Extension of UML Statecharts
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Model Checking of Probabalistic and Nondeterministic Systems
Proceedings of the 15th Conference on Foundations of Software Technology and Theoretical Computer Science
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts
ICGT '02 Proceedings of the First International Conference on Graph Transformation
QoS modelling and analysis with UML-statecharts: the StoCharts approach
ACM SIGMETRICS Performance Evaluation Review
Introducing probabilities in Statecharts to specify reactive systems for performance analysis
Computers and Operations Research
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
PRISM: a tool for automatic verification of probabilistic systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Multi-formalism modelling and model transformation for the design of reactive systems
Proceedings of the 2007 Summer Computer Simulation Conference
Correct analysis for embedded system modeling: an outcome of east-west scientific cooperation
Proceedings of the 2008 international workshop on Software Engineering in east and south europe
Improving robustness of evolving exceptional behaviour in executable models
Proceedings of the 4th international workshop on Exception handling
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Methods, Models and Tools for Fault Tolerance
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
Methods, Models and Tools for Fault Tolerance
Use cases for context aware model-checking
MODELS'11 Proceedings of the 2011th international conference on Models in Software Engineering
| Hi-index | 0.00 |
Complex real-time systems need to address dependability requirements early on in the development process. This paper presents a model-based approach that allows developers to analyze the dependability of use cases and to discover more reliable and safe ways of designing the interactions with the system and the environment. We use a probabilistic extension of statecharts to model the system requirements. The model is then evaluated analytically based on the success and failure probabilities of events. The analysis may lead to further refinement of the use cases by introducing detection and recovery measures to ensure dependable system interaction. A visual modelling environment for our extended statecharts formalism supporting automatic probability analysis has been implemented in AToM3, A Tool for Multi-formalism and Meta-Modelling. Our approach is illustrated with an elevator control system case study.