Recherche Avancée

Thèse soutenue

Decomposition de reseaux de petri colores. Modelisation d'architectures paralleles. Application au prototypage sur des reseaux de transputers

FR  |  
EN
Auteur / Autrice : FRANCOIS BREANT
Direction : Claude Girault
Type : Thèse de doctorat
Discipline(s) : Sciences appliquées
Date : Soutenance en 1993
Etablissement(s) : Paris 6

Résumé

FR

L'implementation automatique du flot de controle d'un systeme parallele specifie et valide au moyen d'un formalisme tel que les reseaux de petri constitue une methode de realisation fiable et efficace. Cette these presente une methode originale de decomposition des reseaux de petri colores en reseaux de machines a etats etendues interagissantes, proches des concepts de csp, et de leur implementation sur une architecture parallele. La decomposition des reseaux de petri apporte aux places et aux transitions une semantique necessaire a l'implementation sans modifier les modeles initiaux. Une nouvelle methode de decomposition des reseaux colores a partir des invariants colores associe aux couleurs une semantique de placement. Pour chaque decomposition, un domaine de couleur du modele decrit un ensemble de placements possibles des composants. Des techniques de raffinement, appliquees aux modeles decomposes munis de leur domaine de placement, visent a adapter les synchronisations du modele aux caracteristiques de l'architecture. L'implementation du modele decompose est realisee automatiquement a partir d'une description du systeme a implementer en terme de processus communicants. Cette implementation est realisee en fonction des contraintes liees au langage cible, a l'architecture et aux algorithmes. Le placement des prototypes est realise au moyen d'une description d'architecture dont le formalisme graphique parametre integre les notions de hierarchie et de recursivite. L'adjonction d'une librairie separee decrivant les caracteristiques des composants fournit les informations necessaires a la configuration de l'architecture