Abstract FR:

La complexite des problemes poses par la conception des systemes temps reel destines a etre implantes sur des machines cibles multi-processeurs necessite l'elaboration d'une methodologie de conception pour ces systemes. Le travail presente dans ce memoire se situe dans ce cadre et a travers les propositions qui y sont faites, apporte une nouvelle dimension dans la conception des systemes temps reel. La premiere contribution de ce memoire est de proposer une methodologie s'appuyant sur cinq vues complementaires: environnement, fonction, performance, comportement et physique. Ces cinq vues correspondent a cinq nouveaux modeles qui ameliorent le traitement des problemes concernes par la specification et la conception des systemes temps reel. Le cycle de vie est decompose en six etapes: analyse et definition des besoins, analyse environnementale, raffinage fonctionnel du systeme, analyse comportementale, evaluation des performances et implantation. La deuxieme contribution de ce memoire consiste a resoudre les problemes particuliers rencontres frequemment dans les applications temps reel developpees sur les multiprocesseurs: satisfaction des contraintes temporelles, transformation de diagramme fonctionnel et de diagramme comportemental en programme parallele, validation des proprietes de surete, vivacite et terminaison des programmes paralleles, allocation et ordonnancement des processus sur les processeurs et equilibrage de charge de travail sur les processeurs. Concernant l'equilibrage de charge, nous presentons une etude de cas portant sur la modelisation des systemes temps reel repartis par les reseaux de files d'attente avec des arrivees negatives et positives. La derniere contribution permet de valider la methodologie proposee a travers le developpement d'un simulateur pour la generation de trames de telemesure aux normes ccsds sur des reseaux de transputers. Ce simulateur peut produire des trames conformes aux normes ccsds et identiques a celles que produirait un generateur bord de trames de telemesure