• TUCS Publication Series
• How to Publish in TUCS Series
• Publication Search
• Publication Graph
• Publication Input
• Publication Input Guide
• JuFo Browser

A Survey of Safety-Oriented Model-Driven and Formal Development Approaches

Yuliya Prokhorova, Elena Troubitsyna, A Survey of Safety-Oriented Model-Driven and Formal Development Approaches. International Journal of Critical Computer-Based Systems 4(2), 93–118, 2013.

http://dx.doi.org/10.1504/IJCCBS.2013.056485

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.

Files:

Full publication in PDF-format

BibTeX entry:

@ARTICLE{jPrTr13a,
  title = {A Survey of Safety-Oriented Model-Driven and Formal Development Approaches},
  author = {Prokhorova, Yuliya and Troubitsyna, Elena},
  journal = {International Journal of Critical Computer-Based Systems},
  volume = {4},
  number = {2},
  publisher = {Inderscience Enterprises Ltd.},
  pages = {93–118},
  year = {2013},
  keywords = {survey, safety analysis techniques, model-driven development, MDD, formal methods, critical systems},
}

Belongs to TUCS Research Unit(s): Distributed Systems Laboratory (DS Lab)

Publication Forum rating of this publication: level 1

Edit publication