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.
Complete list of metadatas

Cited literature [31 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02170550
Contributor : Hugo Bruneliere <>
Submitted on : Tuesday, July 2, 2019 - 11:36:08 AM
Last modification on : Tuesday, July 16, 2019 - 12:09:39 PM

File

ModelDrivenDesignRuntimeIntera...
Publisher files allowed on an open archive

Identifiers

Citation

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, Chair of Software Engineering, 2019, The 15th European Conference on Modelling Foundations and Applications, 18 (2), pp.1:1-22. ⟨10.5381/jot.2019.18.2.a1⟩. ⟨hal-02170550⟩

Share

Metrics

Record views

39

Files downloads

38