Publication
Title
Model-driven assessment of system dependability
Author
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.
Language
English
Source (journal)
Software and systems modeling. - Berlin
Publication
Berlin : 2001
ISSN
1619-1366
Volume/pages
7:4(20018), p. 487-502
ISI
000259188200007
Full text (Publishers DOI)
Full text (publishers version - intranet only)
UAntwerpen
Faculty/Department
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 31.05.2013
Last edited 26.05.2017