La generation d'observateurs pour la validation des proprietes des systemes distribues

par OMAR DRISSI-KAITOUNI

Thèse de doctorat en Informatique

Sous la direction de Michel Raynal.

Soutenue en 1988

à Rennes 1 .

    mots clés mots clés


  • Résumé

    Presentation des principaux problemes de la validation, suivie de l'etude de la technique de validation d'implantation par observation continue du systeme sous texte. L'approche est presentee en deux parties. La premiere partie est consacree a la classification des proprietes des systemes distribues, leur specification en logique temporelle lineaire sur des traces d'executions finies et leur compilation en automates accepteurs. Dans la deuxieme partie, le probleme pose par l'observation d'un ordre partiel des evenements dans un contexte distribue est etudie. Des algorithmes de construction et de verification des observations pour une validation centralisee ou distribuee sont proposes

  • Titre traduit

    Deriving observers to validate distributed systems properties


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (VIII-131 p.)
  • Annexes : 96 REF

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 1988/26

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-1988-DRI
  • 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.