Date : 1992
Editeur / Publisher : [S.l.] : [s.n.] , 1992
Type : Livre / Book
Type : Thèse / ThesisLangue / Language : français / French
Résumé / Abstract : CETTE THESE EST UNE CONTRIBUTION A L'OBTENTION DE SOLUTIONS LOGICIELLES AUX PROBLEMES DE DISTRIBUTION EN TEMPS REEL ET DE REPARTITION DE TACHES DE PROGRAMMES DE NATURE SEQUENTIELLES SUR DES SYSTEMES DISTRIBUES. LES PROGRAMMES SONT REPRESENTES PAR DES AUTOMATES D'ETATS FINIS, LES TACHES CORRESPONDANT A DES LETTRES; UN SYSTEME CONCURRENT EST ALORS VU COMME UN ENSEMBLE DE COMPOSANTES AUTONOMES OU BLOCS DE TACHES DEUX A DEUX INDEPENDANTES. LE CADRE THEORIQUE EST LA THEORIE DES TRACES OU ENCORE LE MONOIDE PARTIELLEMENT COMMUTATIF ET PLUS PARTICULIEREMENT UN OUTIL DE CETTE THEORIE APPELE LA FORME NORMALE DE FOATA. NOTRE TRAVAIL S'INSCRIT A LA FOIS DANS L'IMPLANTATION D'UNE REPONSE ADAPTEE AU PROBLEME DE LA DISTRIBUTION EN TEMPS REEL DE TACHES D'UN PROGRAMME REACTIF ET DANS L'ETUDE DE LA DISTRIBUTION STATIQUE (PARALLELISATION) DE TACHES AU MOYEN DE CET OUTIL. UN PROTOTYPE APPELE SIALDISA (SIMULATEUR D'ALGORITHME DE DISTRIBUTION) REND COMPTE DE CES APPROCHES DE MODELISATION. IL A ETE DEVELOPPE SUR STATION DE TRAVAIL SUN SPARC 2 EN XLISP POUR LES ALGORITHMES DE BASE ET AVEC WINTERP, LANGAGE DE DESCRIPTION D'INTERFACES GRAPHIQUES UTILISANT LES BOITES A OUTILS OSF MOTIF ET X11, POUR L'INTERFACE UTILISATEUR. L'ENSEMBLE REPRESENTE 7000 LIGNES DE CODE SOURCES