Prototypage de systemes paralleles a partir de reseaux de petri colores, application au langage ada dans un environnement centralise ou reparti

par Fabrice Kordon

Thèse de doctorat en Sciences appliquées

Sous la direction de Pascal Estraillier.

Soutenue en 1992

à Paris 6 .

    mots clés mots clés


  • Résumé

    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


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 150 REF

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Ecole Polytechnique de l’Université de Tours. Départements Electronique et Energie, Informatique, Mécanique et Systèmes. Centre de documentation.
  • Disponible pour le PEB
  • Cote : DI-TH-267
  • Bibliothèque : Sorbonne Université. Bibliothèque de Sorbonne Université. Bibliothèque Mathématiques-Informatique Recherche.
  • Consultable sur place dans l'établissement demandeur
  • Cote : T Paris 6 1992 202
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : PMC RT P6 1992
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : Kordon p
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.