Unification de la Vérification et de l’Exécution Embarquée de Modèles - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

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

Valentin Besnard

Résumé

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
Fichier non déposé

Dates et versions

hal-02375968 , version 1 (22-11-2019)

Identifiants

  • HAL Id : hal-02375968 , version 1

Citer

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⟩
56 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More