Modèles de coopération et de communication entre processus temps réel repartis : expression de contraintes de temps pour la vérification de propriétés temporelles dans la communication

par Luis Vega

Thèse de doctorat en Sciences appliquées

Sous la direction de Jean-Pierre Thomesse.

Soutenue en 1996

à Vandoeuvre-les-Nancy, INPL .


  • Résumé

    La vérification du respect des contraintes temporelles dans la communication temps réel est une activité qui se réalise tant sur des modèles pour aider la conception que lors de l'exécution de l'application avec un but de sureté de fonctionnement. Ces vérifications requièrent une identification précise et une expression claire des contraintes temporelles sur les services de communication. Ce mémoire présente une approche pour spécifier les contraintes temporelles sur les services de communication afin d'identifier précisément les intervalles de temps qui doivent être pris en compte dans le respect de contraintes. Ces intervalles doivent être estimés pour une vérification sur des modèles ou mesures et contrôles à l'exécution pour une verification en ligne. Notre approche consiste à caractériser les échanges de messages entre processus repartis communicants par transmission de messages et les services de communication utilisés pour réaliser ces échanges. Nous spécifions les contraintes temporelles sur les transmissions de messages à partir du type de service de communication et du type d'échange entre les utilisateurs de ce service. Le but est de garantir, sur des modèles et à l'exécution, que les services supportent les besoins temporels des échanges. Cette spécification se base sur les notions d'événement et de séquence d'événement. Les contraintes sont exprimées à l'aide d'une logique temporelle quantifiée. Ces concepts sont assez généraux pour que la spécification puisse se traduire sur des formalismes afin de faire des verifications a priori sur des modèles. Notre approche d'expression de contraintes nous a aussi permis de spécifier et d'analyser les propriétés temporelles qui sont contrôlées à l'exécution par un mécanisme de verification en ligne

  • Titre traduit

    Cooperation and communication models between distributed real time process : expression of time constraints for the verification of temporal properties in communication


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (197 p.)
  • Annexes : 148 ref.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Lorraine. Direction de la documentation et de l'édition. BU Ingénieurs.
  • Accessible pour le PEB
  • Bibliothèque : Centre de recherche INRIA Nancy - Grand Est (Villers les Nancy). Service Information et Edition Scientifiques.
  • PEB soumis à condition
  • Cote : VEGA m

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Service interétablissements de Documentation (Saint-Martin d'Hères, Isère). Bibliothèque universitaire Joseph-Fourier.
  • Non disponible pour le PEB
  • Cote : MF-1996-VEG
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.