Skip to Main content Skip to Navigation
Conference papers

Unification de la Vérification et de l’Exécution Embarquée de Modèles

Abstract : Pour lutter contre la complexité croissante des systèmes embarqués, les modèles de ces systèmes peuvent être vérifiés dès la phase de conception en utilisant diverses techniques de vérification et de validation (V&V). L’application de ces techniques requiert généralement deux transformations à partir du modèle de conception : une première pour obtenir le code exécutable du système et une seconde vers un modèle formel sur lequel pourront être appliqués les outils de V&V. Cependant, ces transformations créent des fossés sémantiques et nécessitent d’établir une relation d’équivalence entre le code exécutable et le modèle formel obtenu. Pour aborder ces problèmes, cet article présente une approche permettant d’exécuter et de vérifier des modèles avec une seule implémentation de la sémantique du langage de modélisation. L’exécution et la vérification de ces modèles est assurée par un interpréteur de modèles pilotable par des outils de V&V. Cette approche a été appliquée au langage UML avec l’interpréteur de modèles embarqué EMI et le modelchecker OBP2
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02375968
Contributor : Anne-Flore Jarry <>
Submitted on : Friday, November 22, 2019 - 12:05:38 PM
Last modification on : Tuesday, February 11, 2020 - 11:11:01 AM

Identifiers

  • HAL Id : hal-02375968, version 1

Collections

Relations

Citation

Valentin Besnard. Unification de la Vérification et de l’Exécution Embarquée de Modèles. AFADL 2019, Jun 2019, Toulouse, France. pp.93 à 100. ⟨hal-02375968⟩

Share

Metrics

Record views

43