Techniques algébriques Max-Plus pour l'analyse des performances temporelles de systèmes concurrents

par Pierre Le Maigat

Thèse de doctorat en Informatique

Sous la direction de Albert Benveniste.

Soutenue en 2002

à Rennes 1 .


  • Résumé

    Les langages de scénarios permettent la spécification partielle d'applications distribuées complexes. Les exigences de performance pour les systèmes temps-réels sont rapidenment présentes dans le design. Afin d'obtenir des estimations pour ces performances, nous appliquons l'algèbre Max-Plus à une définition temporisée d'un langage de scénarios : les light-level-message-sequence-charts. Moyennant une abstraction au niveau du méta-langage engendré, ceci nous permet de calculer différentes notions de trafic. Dans le cas d'une accumulation de messages sur un canal, on montre comment estimer la vitesse d'accumulation et comment pour un contrôle sur les instances éliminer cette accumulation. Dans une deuxième partie, on montre que les mêmes techniques s'appliquent au cas des réseaux de Pétri temporisés bornés vérifiant certaines hypothèses de linéarité i. E la modélisation du comportement temporel est Max-Plus pour un contrôle en steps maximaux. Finalement on s'intéresse à la modélisation et l'étude des équations d'évolution des réseaux de Pétri temporisés déterministes. On donne une condition nécessaire et suffisante pour que celles-ci se développent en séries formelles. Ce formalisme est ensuite appliqué au contrôle.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 198 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 79 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA Rennes 2002/53

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université Grenoble Alpes (Saint-Martin d'Hères, Isère). Bibliothèque et Appui à la Science Ouverte. Bibliothèque universitaire Joseph-Fourier.
  • Accessible pour le PEB
  • Cote : MF-2002-LEM
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.