|
 
|
[BIM07] Dimensionnement temporel de systèmes embarqués: application à OSEK
Mémoire de Thèse : Soutenue le: 01 January 2007, pp. 159p, : Dimensionnement temporel de systèmes embarqués: application à OSEK,
motcle:
Résumé:
Cette thèse traite du dimensionnement temps réel de systèmes embarqués. Nous proposons
un ensemble d’outils algorithmiques permettant de garantir, avant son déploiement,
qu’une application, une fois installée sur une architecture monoprocesseur donnée, sera
exécutée en temps réel. Nous nous plaçons dans un contexte temps réel strict avec des
échéances de terminaison au plus tard. De plus, nous ne considérons que des applications
constituées de tâches à échéance arbitraire, périodiques, préemptives ou non, indépendantes
et non concrètes. Le standard OSEK, étudié dans cette thèse, est basé sur un
ordonnancement FP/FIFO et prescrit le mécanisme du plafond de priorité pour protéger
les ressources. Cette étude commence naturellement par l’identification et la caractérisation
des charges dues à notre exécutif OSEK. Puis, nous proposons des conditions de
faisabilité, intégrant les charges précédentes, valables pour tout ensemble de tâches ordonnancées
FP/FIFO et se partageant, au plus, une ressource. Bien que le standard OSEK
n’admette que des priorités fixes, nous montrons comment mettre en oeuvre un ordonnancement
EDF pour des tâches n’utilisant, cette fois, aucune ressource. Là encore, de
nouvelles conditions de faisabilité, intégrant les charges cumulées du système d’exploitation
et de notre implémentation, sont présentées. Enfin, nous expérimentons les conditions
de faisabilité précédentes sur une plateforme réelle. Les résultats confirment que les charges
dues au système d’exploitation ne peuvent être négligées. Ces expérimentations montrent
également que nos conditions de faisabilité s’avèrent opérationnelles pour le dimensionnement
temps réel d’applications embarquées.
BibTeX
| @phdthesis { | |||
| BIM07, | |||
| title | = | "{Dimensionnement temporel de systèmes embarqués: application à OSEK}", | |
| author | = | "F. Bimbard", | |
| year | = | 2007, | |
| pages | = | "159p", | |
| address | = | "{CEDRIC Laboratory, Paris, France}", | |
| } |
