Abstract FR:

Nous etudions les concepts et les mecanismes a la base de systemes distribues temps reel fondes sur la technologie reseau atm. Le choix d'atm est justifie par sa capacite a acheminer simultanement des types de trafic varies, a haut debit, en garantissant a chacun le respect de contraintes explicites de qualite de service. Notre objectif est ici de reduire l'heterogeneite des systemes industriels, principal obstacle au deploiement d'applications reparties temps reel de grande envergure. Nous adoptons une approche integree des problemes d'ordonnancement, de synchronisation et de communication afin de permettre le respect de contraintes temporelles de bout en bout. La dimension temporelle est introduite par un modele de contraintes qui combine la notion de criticite et celle d'echeance absolue. Nous separons les mecanismes et les politiques d'ordonnancement, tout en permettant la cohabitation de politiques d'ordonnancement par priorite et par echeances, notamment celles capables de traiter les situations de surcharge. Le meme modele de contraintes est applique a un service de communication temps reel qui autorise l'heritage de bout en bout d'echeances absolues. Les inversions de priorites au sein du coupleur atm sont traitees par une aal originale, capable de preempter l'emission d'un message par un autre d'echeance plus proche. Afin de maintenir la coherence des echeances absolues echangees au travers du reseau, un protocole synchronise les horloges du systeme, localement et par rapport a une reference externe. Notre plate-forme, basee sur le micro-noyau chorus, se conforme aux principes du modele de reference odp. Afin d'accroitre l'ouverture et le degre d'abstraction du systeme, et afin d'offrir aux applications temps reel un environnement d'execution homogene, une machine virtuelle java a ete integree a notre plate-forme. Les extensions requises pour ameliorer le determinisme temporel de ce langage sont ici analysees et experimentees.