A Model Checkable UML Soccer Player - ENSTA Bretagne - École nationale supérieure de techniques avancées Bretagne Accéder directement au contenu
Communication Dans Un Congrès Année : 2019

A Model Checkable UML Soccer Player

Valentin Besnard
Ciprian Teodorov
Frédéric Jouault
Matthias Brun
  • Fonction : Auteur
  • PersonId : 882892
Philippe Dhaussy
  • Fonction : Auteur
  • PersonId : 1010394


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

Dates et versions

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


  • HAL Id : hal-02375996 , version 1


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


Gmail Facebook X LinkedIn More