La génération d'observateurs pour la validation des propriétés des systèmes distribués

Deriving observers to validate distributed systems properties

• Auteur / Autrice : Omar Drissi-Kaïtouni
• Direction : Michel Raynal
• Type : Thèse de doctorat
• Discipline(s) : Informatique
• Date : Soutenance en 1988
• Etablissement(s) : Rennes 1

Mots clés

Mots clés contrôlés

Systèmes autonomes distribués (informatique)

Résumé

Présentation des principaux problèmes de la validation, suivie de l'étude de la technique de validation d'implantation par observation continue du système sous texte. L'approche est présentée en deux parties. La premiere partie est consacrée à la classification des propriétés des systèmes distribués, leur spécification en logique temporelle linéaire sur des traces d'exécutions finies et leur compilation en automates accepteurs. Dans la deuxième partie, le problème posé par l'observation d'un ordre partiel des évenements dans un contexte distribué est étudié. Des algorithmes de construction et de vérification des observations pour une validation centralisée ou distribuée sont proposés.