Publication
Title
Model-driven assessment of use cases for dependable systems
Author
Abstract
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.
Language
English
Source (journal)
Lecture notes in computer science. - Berlin, 1973, currens
Publication
Berlin : 2006
ISSN
0302-9743 [print]
1611-3349 [online]
Volume/pages
4199(2006), p. 558-573
ISI
000241450700039
Full text (Publisher's DOI)
UAntwerpen
Faculty/Department
Publication type
Subject
External links
Web of Science
Record
Identification
Creation 03.06.2013
Last edited 08.10.2017