Sujet de magist`ere : Compilation et ordonnancement de code
Marius Bozga,Jean-Claude Fernandez
VERIMAG
∗, Centre Equation, 2 avenue de Vignate, F-38610 Gi` eres Tel. 04 76 63 48 31 email:Marius.Bozga,[email protected]
Le contexte
Les travaux men´ es ` a VERIMAG visent ` a ´ etudier et d´ evelopper des for- malismes de mod´ elisation et des techniques et outils de validation pour les syst` emes et logiciels critiques. Plus particuli` erement, nous cherchons ` a r´ epondre ` a la question : comment automatiser des analyses de programme en vue de :
– v´ erifier des propri´ et´ es critiques,
– g´ en´ erer des s´ equences de test, ` a partir de propri´ et´ es ou de sp´ ecifications formelles,
– g´ enerer du code pour des architectures r´ eparties.
Les domaines d’applications principaux sont les protocoles de communica- tion, les syst` emes de contrˆ ole-commande, et plus g´ en´ erallement les sys` emes r´ epartis.
En particulier, nous avons d´ evelopp´ e le langage If permettant de repr´ e- senter un syst` eme sous forme d’automates communicants temporis´ es, et des outils de validation associ´ es.
Le sujet
Le sujet porte sur la g´ en´ eration de code pour des automates communi- cants et des politiques d’ordonnancement (scheduling) ` a l’ex´ ecution. Le stage comportera une ´ etude bibliographique sur l’ordonnancement en g´ en´ eral, et une r´ ealisation compl´ etant l’outil de g´ en´ eration de code.
∗ VERIMAG is a joint laboratory of CNRS, UJF and INPG Grenoble
