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

A Model Checkable UML Soccer Player

Valentin Besnard 1 Ciprian Teodorov 2 Frédéric Jouault 1 Matthias Brun 1 Philippe Dhaussy 2
2 Lab-STICC_ENSTAB_ CACS_MOCS
Lab-STICC - Laboratoire des sciences et techniques de l'information, de la communication et de la connaissance
Abstract : This paper presents a UML implementation of the MDETools’19 challenge problem with EMI (our Embedded/Experimental Model Interpreter). EMI is a model interpreter that can be used to execute, simulate, and formally verify UML models on host or embedded targets. The tool’s main specificity relies on a single implementation of the language semantics such that consistency is ensured between all development phases: from design to verification and execution activities. Using this approach, we have succeeded in (i) designing a UML model for the challenge problem, (ii) applying formal verification using model-checking on the design model, and (iii) executing this model in order to participate in the challenge.
Type de document :
Communication dans un congrès
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-02375996
Contributeur : Anne-Flore Jarry <>
Soumis le : vendredi 22 novembre 2019 - 12:17:31
Dernière modification le : mercredi 24 juin 2020 - 16:19:54

Identifiants

  • HAL Id : hal-02375996, version 1

Citation

Valentin Besnard, Ciprian Teodorov, Frédéric Jouault, Matthias Brun, Philippe Dhaussy. A Model Checkable UML Soccer Player. 3rd Workshop on Model-Driven Engineering Tools, Sep 2019, Munich, Germany. ⟨hal-02375996⟩

Partager

Métriques

Consultations de la notice

79