next up previous contents
Next: Génération de tests avec Up: Sujets the thèses proposés Previous: Méthodes de réalisation répartie

Langages de scénarios et synthèse de contrôleurs

Lieu : Irisa, Rennes

Équipe : Pampa, Paragraphe

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


next up previous contents
Next: Génération de tests avec Up: Sujets the thèses proposés Previous: Méthodes de réalisation répartie