formation par la recherche / formation doctorale / enseignement, stages / sujets de thèses

Hiérarchisation des systèmes de transitions pré-ordre

Localisation : Irisa, Rennes

Equipe Epatr

Responsable : Jean-Pierre Talpin (tél.: 0299847436, mail: Jean-Pierre.Talpin@irisa.fr)

Mot-clés : Systèmes synchrones et asynchrones, compilation.

Sujet : La spécification et la mise en uvre de systèmes réactifs nécéssite une analyse comportementale précise afin d'assurer la sureté de fonctionnement et de garantir l'exécution efficace. L'utilisation de langages de programmation synchrone facilitent la réalisation de systèmes critiques remplissant ces critères.

Dans ce processus d'analyse, une représentation symbolique du système, par exemple sous forme d'arbres de décision binaires [1], ou bien sous forme de systèmes de transitions hiérarchiques [2], joue un rôle primordial afin d'en analyser, d'en vérifier et d'en optimiser la structure.

L'objectif de ce stage sera de définir un ensemble d'algorithmes efficaces pour la représentation hiérarchiques de systèmes de transition symboliques.

Bibliographie (disponible en http://www.irisa.fr/prive/talpin)

[1] T. P. Amagbegnon, L. Besnard and P. Le Guernic. Implementation of the data-flow synchronous language Signal. In Conference on Programming Language Design and Implementation. Acm, 1995.

[1] J.-P. Talpin, A. Benveniste. and P. Le Guernic. Asynchronous deployment of synchronous transition systems. Research Report No. 1269. Irisa, October 1999.

[2] J.-P. Talpin, A. Benveniste., B. Caillaud and P. Le Guernic. Hierarchic normal forms for desynchronization. Research Report No. 3822. Inria, December 1999.