OSTRE a été arrêté le 31/12/2003
Il a été remplacé par AOSTE
Présentation de l'équipe
Nous menons des travaux sur l'optimisation des systèmes distribués temps réel embarqués
Axes de recherche
- la modélisation de tels systèmes à l'aide de la théorie des graphes et des ordres partiels,
- l'optimisation d'implantation à l'aide : - d'algorithmes d'ordonnancement temps réel dans le cas monoprocesseur, - d'heuristiques de distribution et ordonnancement temps réel dans le cas multicomposant (réseau de processeurs et de circuits intégrés),
- les techniques de génération automatique de code pour processeur et pour circuit intégré,
- la tolérance aux pannes.
Tous ces travaux sont réalisés avec l'objectif de faire le lien entre l'automatique et l'informatique en cherchant à supprimer la rupture entre la phase de spécification/simulation et celle d'implantation temps réel, ceci afin de réduire le cycle de développement des applications distribuées temps réel embarquées.
Ils ont conduit d'une part à une méthodologie appelée AAA (Adéquation Algorithme Architecture) et d'autre part à un logiciel de CAO niveau système pour l'aide à l'implantation de systèmes distribués temps réel embarqués, appelé SynDEx.
Responsable scientifique
Yves SOREL
+33 1 39 63 52 60
Yves.Sorel@inria.fr
Secrétariat : +33 1 39 63 54 81