La mise au point des applications paralleles et reparties offre un cadre pour des recherches dans les domaines de l'analyse statique de programmes repartis, de l'observation des execution reparties, de la detection de proprietes reparties et de l'analyse post-mortem. C'est ce dernier domaine qui nous a plus particulierement interesse lors de la conception et de la realisation de l'outil CDB pour le systeme d'exploitation reparti a micro-noyau CHORUS. CDB permet d'enregistrer puis de reproduire l'execution d'applications re'parties complexes tournant au dessus du micro-noyau CHORUS, permettant ainsi d'appliquer la methode de mise au point cyclique a des programmes distribue's non deterministes. L'utilisation de CDB est transparente a l'application re-executee (aucune instrumentation n'est necessaire.) CDB est base sur des techniques modernes comme l'interposition, les compteurs d'instructions, la diffusion causale, les horloges logiques... Nous decrivons le support specifique du micro-noyau developpe pour supporter la re-execution, les algorithmes (parfois originaux) utilises par CDB, l'interface utilisateur de CDB et ses performances.

La programmation synchrone a ete proposee pour faciliter la conception et la programmation des systemes reactifs (systemes dont le role est de reagir continument a leur environnement physique, celui-ci etant incapable de se synchroniser avec le systeme). Ces systemes sont tres souvent repartis, que ce soit pour des raisons d'implantation physique, d'amelioration des performances ou de tolerance aux pannes. En outre, les travaux sur la compilation des langages synchrones ont conduit a utiliser une representation interne des programmes sous forme d'un automate d'etats fini : c'est le format OC. Ce travail porte donc sur la repartition automatique des programmes OC. La principale difficulte est d'assurer l'equivalence fonctionnelle et temporelle entre le programme centralise initial et le programme reparti, et de prouver cette equivalence, ce qui est indispensable dans le domaine du temps reel critique. Nous nous attachons egalement a minimiser localement la structure de controle de chaque programme reparti. Pour cela nous developpons un algorithme original de reduction des tests ``a la volee'' utilisant des techniques de bisimulation. D'autre part nous definissons completement l'environnement d'execution des programmes repartis. Ici notre principal souci est de fournir une solution la plus proche possible de l'execution centralisee. Enfin dans le but d'expliquer les desynchronisations introduites par la repartition, nous proposons une semantique originale du langage synchrone Lustre, semantique definie par des ordres partiels.