Abstract FR:

D'ordinateurs imposants équipés de périphériques d'entrée-sortie élémentaires, nous sommes arrivés, en une cinquantaine d'années, a des systèmes parfois miniaturises a l'extrême dont une des caractéristiques principales est d'être communicants. A l'ère d'internet et des réseaux à haut débit, les systèmes repartis prennent une part de plus en plus considérable dans notre vie quotidienne : les distributeurs de billets de banque, la télévision interactive et le world-wide web sont autant d'exemples d'applications reparties. Les architectes du langage ada 95 ont tenu compte de cette évolution en intégrant la répartition au sein du langage : il est ainsi possible de construire une application repartie en ada sans jamais sortir du cadre du manuel de référence standardise par l'iso. Cependant, cette facilite offerte au développeur d'applications a un cout, supporte à la fois par le compilateur et par un exécutif charge de la communication entre les nuds de l'application repartie. Le présent mémoire de thèse présente glade, notre implémentation de l'annexe des systèmes repartis d'ada 95. Nous y traitons aussi bien des aspects relatifs à la compilation que de ceux lies à l'exécutif. Les questions posées par la localisation des ressources, la terminaison d'une application repartie et la résistance aux défaillances trouvent ici des réponses basées sur des algorithmes originaux. La réduction des ressources nécessaires en vue de l'utilisation sur des systèmes embarques et la conservation des propriétés de temps réel sont abordées et des solutions sont proposées. Nous présentons également les extensions que nous avons apportées au modèle original, ainsi que des suggestions permettant d'améliorer la partie dédiée a la répartition de la future révision de la norme internationale définissant le langage ada.