Sujet : Un environnement de simulation pour les programmes ELECTRE

Responsable : Frédéric Herbreteau

Téléphone : 05 40 00 33 36

e-mail : frederic.herbreteau@labri.fr

Équipe : MVTSI

 

Présentation du sujet :

Le langage ELECTRE permet la modélisation de programmes réactifs sous hypothèses asynchrones. Les outils proposés autour du langage permettent la compilation des programmes ELECTRE en automates à file réactifs, et la visualisation de ceux-ci. Nous souhaitons maintenant bénéficier d'un simulateur notamment dans le but d'enseigner les concepts du langage en master ISC.

L'objectif du projet est donc la programmation de cet environnement de simulation. Il comprendrait :

L'environnement de simulation devra être écrit en langage JAVA de façon à être portable. On demandera la rédaction d'un rapport de conception, de réalisation et de maintenance de l'environnement de simulation. De plus, un manuel d'utilisation devra être fourni.

 

Mots-clés : ELECTRE, simulation, JAVA

Références :

F. Herbreteau, Cours de Formalismes de Description de Systèmes, Master ISC.

O. Roux, D. Creusot, F. Cassez and J.P. Elloy. Le langage réactif asynchrone ELECTRE. Technique et Science Informatique (TSI), 11(5):35-66, 1992

 

Commentaires éventuels : On pourra s'inspirer des outils JFLAP ou UPPAAL pour l'interface.