Accéder directement au contenu Accéder directement à la navigation
Communication dans un congrès

Towards one Model Interpreter for Both Design and Deployment

Valentin Besnard 1 Matthias Brun 1 Philippe Dhaussy 2, 3 Frédéric Jouault 1 David Olivier 4 Ciprian Teodorov 3, 2
2 Pôle STIC_IDM
ENSTA Bretagne - École Nationale Supérieure de Techniques Avancées Bretagne
3 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : Executable modeling of complex embedded systems is essential for bug discovery and safety validation at early design stages. A relatively large number of tools enable early design diagnosis and validation by transforming and analyzing themodel into a formal setting. However, this transformation induces a semantic gap rendering diagnosis more difficult. Moreover, on the way to deployment, executable models are transformed into low level executable code. Existence of this second transformation similarly renders diagnosis of the deployed system more difficult, and also increases validation costs of the approach in the context of critical systems: a non trivial equivalence relation needs to be established between the formally analyzed model and the executable code. In this paper, we introduce a first step towards addressing these problems with a bare-metal UML interpreter, which uniquely defines the executable semantics for both design and deployment. To facilitate the diagnosis and validation process our interpreter offers a diagnosis interface through which the semantics is shared with diagnosis tools. The tools rely on this interface to interact with (observe and control) the executing model either locally on a PC during early design phases or remotely on the target embedded system after deployment. We illustrate our approach on a railway level crossing system ported to two embedded targets (at91sam7s and stm32), to which we connect a remote high-level simulator for interactive execution control and exhaustive state-space exploration.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01585318
Contributeur : Nathalie Renois <>
Soumis le : lundi 11 septembre 2017 - 14:54:26
Dernière modification le : mercredi 24 juin 2020 - 16:19:51

Identifiants

  • HAL Id : hal-01585318, version 1

Citation

Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, David Olivier, et al.. Towards one Model Interpreter for Both Design and Deployment. 3rd International Workshop on Executable Modeling (EXE 2017), Sep 2017, Austin, United States. ⟨hal-01585318⟩

Partager

Métriques

Consultations de la notice

317