Skip to Main content Skip to Navigation
Conference papers

Model-Driven Multi-Level Safety Analysis of Critical Systems

Abstract : —Model-driven engineering is a promising approach used to develop and analyze complex systems from different domains. In this paper, we focus on the safety aspect and introduce a methodology and associated framework for model-driven safety analysis (SA) of large critical systems. The methodology is meant to cope with design complexity and reduce time of SA process. The framework, called Sophia, supports proposed methodology and includes facilities (i) to automatically perform various SA methods, (ii) to make semantic connections with formal SA tools, (iii) to represent SA results in the system modeling environment. We illustrate our approach using a case study from transport domain.
Document type :
Conference papers
Complete list of metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal-cea.archives-ouvertes.fr/cea-01810083
Contributor : Önder Gürcan <>
Submitted on : Thursday, June 7, 2018 - 2:35:03 PM
Last modification on : Monday, February 10, 2020 - 6:14:14 PM
Long-term archiving on: : Saturday, September 8, 2018 - 1:50:28 PM

File

07116812.pdf
Publisher files allowed on an open archive

Identifiers

  • HAL Id : cea-01810083, version 1

Collections

Citation

Nataliya Yakymets, Matthieu Perin, Agnes Lanusse. Model-Driven Multi-Level Safety Analysis of Critical Systems. Systems Conference (SysCon), 2015 9th Annual IEEE International, Apr 2015, Vancouver, Canada. ⟨cea-01810083⟩

Share

Metrics

Record views

153

Files downloads

421