Abstract FR:

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