Model-driven assessment of system dependability |
| |
Authors: | Sadaf Mustafiz Ximeng Sun Jörg Kienzle Hans Vangheluwe |
| |
Affiliation: | (1) School of Computer Science, McGill University, Montreal, QC, Canada |
| |
Abstract: | Designers of 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 analyse the dependability of use cases and to discover more
reliable and safe ways of designing the interactions of the system with the environment. The hardware design and the dependability
of the hardware to be used also needs to be considered. We use a probabilistic extension of statecharts to formally model
the interaction requirements defined in the use cases. 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.
|
| |
Keywords: | Dependability Use cases Reliability Safety Requirements |
本文献已被 SpringerLink 等数据库收录! |