%0 Conference Paper
%F Oral 
%T A Model Checkable UML Soccer Player
%+ ESEO-ÉRIS (ÉRIS)
%+ Lab-STICC_ENSTAB_ CACS_MOCS
%A Besnard, Valentin
%A Teodorov, Ciprian
%A Jouault, Frédéric
%A Brun, Matthias
%A Dhaussy, Philippe
%< avec comité de lecture
%B 3rd Workshop on Model-Driven Engineering Tools
%C Munich, Germany
%8 2019-09-16
%D 2019
%K Tool
%K UML
%K Model-Driven Engineering
%Z Computer Science [cs]
%Z Computer Science [cs]/Software Engineering [cs.SE]Conference papers
%X 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.
%G English
%L hal-02375996
%U https://hal.science/hal-02375996
%~ UNIV-BREST
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ ENSTA-BRETAGNE-STIC
%~ ENIB
%~ LAB-STICC
%~ ESEO-TECH
%~ INSTITUTS-TELECOM
%~ ESEO-ERIS