Implantation multitâche de programmes synchrones multipériodiques
Résumé
La programmation sûre des systèmes embarqués critiques est un enjeu industriel de plus en plus important. Des langages formels de haut niveau ont été définis afin de permettre la spécification de tels systèmes. Les langages synchrones, notamment, sont utilisés avec succès car ils fournissent un bon niveau d'abstraction et s'appuient sur des générateurs de code exécutable éprouvés. La capacité à générer un code multitâche préemptible, qui permettrait d'obtenir un code embarqué plus efficace, reste cependant pour l'instant limitée. Nous montrons qu'il est possible de spécifier un système multipériodique à un niveau abstrait synchrone, puis de générer automatiquement un système multitâche exécutable par un ordonnanceur dynamique tel que EDF. Ceci passe par la définition d'un langage de haut niveau, puis par sa transformation en un ensemble de tâches temps réel, et enfin par la définition d'un protocole de communication garantissant à l'exécution le respect de la sémantique du langage synchrone. On supprime ainsi toute rupture entre la spécification et l'implantation multitâche.