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 *

Full-text access for editors Full-text access for subscribers Purchase this article Comment on this article