Title: A survey of safety-oriented model-driven and formal development approaches
Authors: Yuliya Prokhorova; Elena Troubitsyna
Addresses: TUCS – Turku Centre for Computer Science, Åbo Akademi University, Department of Information Technologies, Joukahaisenkatu 3-5 A, 20520 Turku, Finland ' TUCS – Turku Centre for Computer Science, Åbo Akademi University, Department of Information Technologies, Joukahaisenkatu 3-5 A, 20520 Turku, Finland
Abstract: Numerous model-driven and formal approaches have been proposed to facilitate development of complex critical systems. To address safety concerns, these approaches incorporate safety analysis techniques at different stages of the system development process. In this paper, we overview the approaches that have been recently proposed to integrate safety analysis into model-driven and formal development of critical systems. Moreover, we identify several criteria for classifying and comparing these approaches. Our survey aims at guiding industry practitioners as well as identifying promising research directions in the area.
Keywords: survey; safety analysis techniques; model-driven development; MDD; formal development; critical systems; complex systems; system development; safety-critical systems; model-based engineering; modelling languages.
DOI: 10.1504/IJCCBS.2013.056485
International Journal of Critical Computer-Based Systems, 2013 Vol.4 No.2, pp.93 - 118
Received: 03 Dec 2012
Accepted: 08 Mar 2013
Published online: 29 Apr 2014 *