Title
Model-driven assessment of system dependability Model-driven assessment of system dependability
Author
Faculty/Department
Faculty of Sciences. Mathematics and Computer Science
Publication type
article
Publication
Berlin ,
Subject
Computer. Automation
Source (journal)
Software and systems modeling. - Berlin
Volume/pages
7(20018) :4 , p. 487-502
ISSN
1619-1366
Carrier
E
Target language
English (eng)
Full text (Publishers DOI)
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.
E-info
https://repository.uantwerpen.be/docman/iruaauth/f60c6c/0d485f91029.pdf