Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report - Archive ouverte HAL Access content directly
Journal Articles The Journal of Object Technology Year : 2019

Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report

Abstract

Automotive, aerospace, industrial control, and railway systems are examples of application domains which are particularly characterized by the need for developing and managing critical systems. Model-driven engineering is recognized as an effective solution to leverage abstraction and automation while developing complex systems. One of the major and key challenges in the model-driven engineering of critical software systems is the integration of design and runtime aspects. Even though several methods and tools are available for performing measurements of runtime properties, the ability to trace them with design models is still limited. In the context of a real railway system, this paper presents a model-based approach that has been conceived to analyze runtime data (coming from different sensors), to produce corresponding traceability models and to automatically infer from them potential design issues that might need to be fixed in order to solve detected system malfunctionings.
Fichier principal
Vignette du fichier
ModelDrivenDesignRuntimeInteraction_ECMFA19.pdf (4.14 Mo) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-02170550 , version 1 (02-07-2019)

Identifiers

Cite

Romina Eramo, Florent Marchand de Kerchove, Maximilien Colange, Michele Tucci, Julien Ouy, et al.. Model-driven Design-Runtime Interaction in Safety Critical System Development: an Experience Report. The Journal of Object Technology, 2019, The 15th European Conference on Modelling Foundations and Applications (ECMFA 2019), 18 (2), pp.1:1-22. ⟨10.5381/jot.2019.18.2.a1⟩. ⟨hal-02170550⟩
185 View
100 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More