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

Michel Banâtre (tél direct 02 99 84 72 85), Michel.Banatre@irisa.fr
Isabelle Puaut, tél. 02 99 84 73 10), Isabelle.Puaut@irisa.fr

De manière à réduire les coûts d'achat et de développement des systèmes temps-réel stricts, une tendance actuelle est de les construire à partir de systèmes d'exploitation (temps-réel ou généralistes) COTS (Commercial-Off-The-Shelf). Deux classes de méthodes existent pour obtenir les temps de réponse de systèmes d'exploitation temps-réel :
(i) approche statique : analyse du code source du système d'exploitation pour identifier de manière semi-automatisée le pire chemin d'exécution du programme et calculer sur ce pire chemin le temps des instructions qui le composent, en tenant compte des caractéristiques du processeur utilisé pour l'exécution ;
(ii) approche dynamique (test) : établissement de benchmarks permettant de mesurer dans des conditions de test particulières le temps de réponse du système d'exploitation ; c'est cette deuxième classe d'approche qui est généralement utilisée pour les systèmes d'exploitation existants. Bien que la première approche soit plus sûre, elle nécessite de disposer du code source du système d'exploitation. D'autre part, pour obtenir des temps de réponse qui ne sont pas sur-dimensionnés, elle nécessite une connaissance fine du comportement temporel du processeur utilisé, ce qui est de moins en moins facile à obtenir étant donnée la complexité grandissante des processeurs actuels. La deuxième approche ne présente pas ces inconvénients, mais en revanche pose le problème d'identifier les conditions de tests provoquant le pire temps de réponse du système, dont dépendent la sûreté de l'évaluation des temps de réponse.

L'objectif de cette thèse est de concevoir des méthodes et outils permettant de caractériser le comportement temporel au pire-cas des systèmes d'exploitation temps-réel COTS. Les méthodes à définir devront être adaptées aux systèmes d'exploitation COTS, c'est à dire reposer sur des hypothèses réalistes concernant les connaissances disponibles sur fonctionnement interne du système. Les méthodes à définir pourront fonctionner indifféremment par une approche statique, test ou une méthode hybride.