Compositional model analysis

• Published in: Software and systems modeling Vol. 19; no. 2; pp. 261 - 262
• Main Authors: Gray, Jeff, Rumpe, Bernhard
• Format: Journal Article
• Language: English
• Published: Berlin/Heidelberg Springer Berlin Heidelberg 01.03.2020; Springer Nature B.V
• Subjects: Compilers; Computer Science; Editorial; Environment models; Failure analysis; Formalism; Hardware; Information Systems Applications (incl.Internet); Interpreters; IT in Business; Programming Languages; Programming Techniques; Software Engineering; Software Engineering/Programming and Operating Systems; Statecharts; Statistical analysis
• ISSN: 1619-1366; 1619-1374
• DOI: 10.1007/s10270-020-00784-8

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. [PUBLICATION ABSTRACT]