Skip to Main content Skip to Navigation
Conference papers

A Model Checkable UML Soccer Player

Valentin Besnard 1 Ciprian Teodorov 2 Frédéric Jouault 1 Matthias Brun 1 Philippe Dhaussy 2
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.
Document type :
Conference papers
Complete list of metadata
Contributor : Anne-Flore Jarry <>
Submitted on : Friday, November 22, 2019 - 12:17:31 PM
Last modification on : Wednesday, April 21, 2021 - 10:38:03 AM


  • 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⟩



Record views