Skip to Main content Skip to Navigation
Conference papers

EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML

Valentin Besnard 1 Matthias Brun 1 Philippe Dhaussy 2 Frédéric Jouault 1 Ciprian Teodorov 2
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Résumé : Pour faire face à la complexité croissante des systèmes embarqués, les activités de vérification et de validation, et notamment le model-checking, sont de plus en plus sollicités. Les model-checkers permettent de vérifier des propriétés par rapport au modèle formel fourni en entrée mais deux problèmes subsistent généralement. D’une part, les outils de model-checking n’apportent pas l’assurance que les propriétés sont aussi vérifiées sur le code exécutable du système. D’autre part, le modèle formel utilisé par les modelcheckers est souvent le résultat d’une transformation de modèle dont l’exactitude n’est pas prouvée. Pour y remédier, cet article présente EMI, un interpréteur de modèles UML visant l’exécution et la vérification de systèmes embarqués à l’aide d’une seule implémentation de la sémantique du langage. En connectant cet outil au model-checker OBP2, diverses activités de vérification peuvent ainsi être menées sur des modèles semi-formels en UML.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-02375948
Contributor : Anne-Flore Jarry <>
Submitted on : Friday, November 22, 2019 - 11:58:54 AM
Last modification on : Wednesday, April 21, 2021 - 10:38:03 AM

Identifiers

  • HAL Id : hal-02375948, version 1

Citation

Valentin Besnard, Matthias Brun, Philippe Dhaussy, Frédéric Jouault, Ciprian Teodorov. EMI : Un Interpréteur de Modèles Embarqué pour l’Exécution et la Vérification de Modèles UML. 18 ème journées sur les Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2019, Toulouse, France. pp.101-104. ⟨hal-02375948⟩

Share

Metrics

Record views

93