Abstract FR:

L'objet de cette these est le prototypage de systemes paralleles a partir d'une specification exprimee a l'aide de reseaux de petri colores. Le prototypage pose deux problemes majeurs: 1) il faut interpreter la specification d'un systeme. Pour cela, une analyse structurelle mais egalement semantique est necessaire. Nous presentons differentes etudes sur les techniques d'interpretation d'un reseau de petri avant de proposer la notre, basee sur le degre de parallelisme optimal d'un reseau de petri, 2) il faut interfacer le prototype dans son environnement d'execution. Nous presentons deux outils de prototypage, realises a partir de formalismes differents, proposant des solutions interessantes que nous adaptons au cas des reseaux de petri. Nous proposons alors une methodologie de prototypage, repondant aux problemes que nous avons identifies: 1) interpretation des specifications: nous definissons un algorithme base sur la connaissance des invariants du reseau de petri, qui permet de decomposer le systeme en fonctionnalites types d'ou seront issus les differents composants du prototype, 2) integration du prototype dans son environnement: nous introduisons la notion de composant externe, qui permet de formaliser la separation entre le modele d'un systeme et la representation de l'environnement dans lequel il evolue. Nous decrivons ensuite la specification fonctionnelle du prototype que nous generons. Notre specification est applicable a tout langage cible procedural permettant de manipuler le parallelisme. Nous avons choisi le langage ada pour appliquer notre methode de prototypage. En effet, il implemente des concepts interessants (paquetage, gestion intrinseque du parallelisme. . . ) permettant de mettre en uvre notre technique. Nous decrivons deux types de prototypes: centralises (pseudo-parallelisme sur une machine monoprocesseur) ou reparti (parallelisme effectif sur un ensemble de machines mono-processeur interconnectees en reseau). Le prototype reparti est construit a partir du prototype centralise par ajout (sans modification de la specification fonctionnelle) de services lies a la repartition. Enfin, nous avons realise un outil permettant, dans l'environnement ami, la generation automatique de prototypes centralises