|
Langages de scénarios et synthèse de contrôleurs
Localisation :Irisa, Rennes
Responsables :
Benoît CAILLAUD (tél. direct : 02 99 84 74
07, email : Benoit.Caillaud@irisa.fr)
Philippe DARONDEAU (tél. direct : 02 99 84
72 80, email : Philippe.Darondeau@irisa.fr)
Sujet : Les langages de scénarios ont été introduits pour
permettre à des non-spécialistes de donner des spécifications incomplètes
de systèmes à réaliser : protocoles de télécommunications, systèmes
d'informations répartis, systèmes de production, etc.
Le contrôle des systèmes à événements discrets (à la Ramadge &
Wonham) consiste à construire, pour un système donné, un superviseur
(le plus permissif possible) garantissant la sûreté et la vivacité
de ce système.
Le sujet proposé est de combiner ces deux thèmes en s'inspirant
des avancées récentes en synthèse de réseaux de Petri pour automatiser
à la fois la synthèse de systèmes et la synthèse de contrôleurs.
L'intérêt de la démarche proposée est d'aboutir naturellement à
des systèmes répartissables.
Le travail de thèse s'équilibrera entre des travaux théoriques,
méthodologiques et de prototypage sur l'outil SYNET.
Bibliographie :
[1] P. Darondeau, Deriving Unbounded Petri-Nets from Formal
Languages, Rapport de recherche INRIA RR-3365, 1998, http://www.inria.fr/RRRT/RR-3365.html
[2] B. Caillaud, SYNET: A Synthesizer of Distributable Bounded
Petri-Nets from Finite Automata, Version 2.0a, http://www.irisa.fr/pampa/logiciels/synet/synet.html
[3] L. Hélouët, MSC-Related Online Publications, http://www.irisa.fr/pampa/perso/helouet/compil.html
[4] P.J.G. Ramadge, W.M. Wonham, The control of discrete event
systems, Proceedings of the IEEE, vol.77, no.1 p. 81-98, 1988
File translated from TEX
by TTH,
version 2.25.
On 8 Mar 2000, 15:33. |