Abstract FR:

Cette these contribue a l'introduction de la programmation a objets dans le domaine du temps reel. La programmation a objets est reconnue pour favoriser la modularite et la reutilisabilite des logiciels. Cependant son utilisation pour le temps reel pour de nombreux problemes theniques et conceptuels. Pour repondre a ces problemes, un nouveau modele de programmation temps reel a objets est propose. Ce modele a base d'objets actifs permet d'introduire la concurrence en conservant les proprietes d'encapsulation du modele objet. L'aspect temps reel est traite en remplacant le concept de tache par celui de methode en execution, et en associant a chaque envoi de message une contrainte temps reel (priorite ou echeance). L'ordonnancement se fait sur l'ensemble des methodes en execution. Ce modele, nomme atome, se decline en plusieurs sous-modele permettant de traiter les types de controle de concurrence les plus repandues en y integrant le traitement des priorites et des echeances. Les strategies et ordonnancement classiques du temps reel hpf et edf sont integres au modele de maniere a garantir un fonctionnement coherent et a eviter les inversions de priorite ou d'echeance. Ce modele et ses variantes se presentent donc comme de nouvelles proportions pour programmer des applications temps reel a l'aide d'un modele tant objet facilitant a la fois la reutilisation et l'ecriture du code. La faisabilite de cette approche au niveau systeme est demontree au niveau systeme en etendant un langage a objets actifs existant a partir des regles definies dans le modele atome