Outils pour la validation de contraintes de synchronisation dans des systemes distribues

par CLAUDINE CHAOUIYA

Thèse de doctorat en Sciences appliquées

Sous la direction de Marie-Claude Thomas.

Soutenue en 1992

à Nice .

    mots clés mots clés


  • Résumé

    La premiere partie de cette these propose un modele en reseau de petri pour un atelier de production comportant une ressource partagee par deux processus paralleles. Dans la famille des ordonnancements cycliques, nous obtenons une borne inferieure sur le debit, en fonction de la frequence d'allocation de la ressource partagee. La deuxieme partie est motivee par une application robotique. Un algorithme de commande distribue peut etre decrit par un graphe de taches elementaires avec des liens de synchronisation. L'objectif est de montrer que ce graphe ne mene pas a des situations d'inter-blocage. Un modele en reseau de petri est proposee et nous en etudions les proprietes de vivacite. La troisieme partie concerne l'analyse de systemes de files d'attente ou les arrivees sont une superposition de flux periodiques, et soumis a une contrainte temps reel stricte. Cette contrainte specifie que, quel que soit le dephasage initial, tout client doit avoir quitte le systeme avant son echeance (faisabilite). Les proprietes de stabilite et periodicite sont etudiees. Nous developpons une approche qui consiste a borner les processus de charge et les processus de sortie. Nous etendons les resultats connus pour une station en isolation. Le cas d'un serveur preempte est etudie pour ensuite analyser un reseau de stations en serie. Ces bornes amenent a determiner des conditions de faisabilite. L'extension des resultats qui precedent est envisagee pour le cas d'un reseau circulaire


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Annexes : 71 REF

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.