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 :
- Une fonction d'édition et d'affichage de texte qui permette
d'écrire les programmes ELECTRE et de les visualiser ainsi que les
fichiers issus de la compilation.
- Une fonction d'édition et d'affichage graphique des automates à
file réactifs afin de permettre la visualisation et la création de
tels modèles (éventuellement sans passer nécessairement par un
programme ELECTRE).
- Une fonction de compilation des programmes ELECTRE. Il s'agit
simplement de faire appel au pré-compilateur et au compilateur qui
sont fournis.
- Une fonction de simulation des automates à file réactifs qui
permette de visualiser pas à pas le comportement de ces
modèles. Il doit en particulier être possible de voir le contenu de
la file, l'état courant de l'automate à file réactif en
visualisation graphique et textuelle (programme), l'état de chaque
événement et de chaque module du programme et le chronogramme
représentant la trace de l'exécution. Il doit aussi être possible de
disposer d'un mode de simulation offrant à chaque étape un choix de
transition franchissable, et un mode de simulation choisissant les
évolutions du système aléatoirement.
- (Optionnel) Une fonction d'exécution des programmes ELECTRE. On
pourra associer du code à chaque module du programme ELECTRE, et
exécuter le code ainsi obtenu. Il sera possible d'obtenir la trace
de l'exécution ainsi produite sous la forme d'un chronogramme.
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.