Validation de spécifications à base d'automates par des techniques de dépliage et d'exécution
Institution:
Evry-Val d'EssonneDisciplines:
Directors:
Abstract EN:
A notable part of the faulty operations of the industrial systems is due to specification erros. Validation denotes the set of techniques which aim at preventing such erros. The thesis develops a methodology and its theoretical bases for the validation of communicating automata based specifications. The idea is that a specification can be rewritten in a form which reveals its behaviours, so that the engineer can appreciate the accuracy of it. More technically the rewritten specification is a graph built starting from the consistent control path resulting from the original specification. It is shown that the rewritten specification describes the same system and that it can be substituted for the original spécification if it plays the part of component within a vaster system. This result supports a methodology of validation by integration.
Abstract FR:
Une partie notable des anomalies de fonctionnements des systèmes industriels est due à des erreurs de spécifcation. La validation est l'ensemble des techniques qui visent à prévenir de telles erreurs. La thèse développe une méthodologie, ainsi que ses fondements théoriques, pour la validation de spécifications à bases d'automates communicants. L'idée développée est qu'une spécification peut être réécrite dans une forme qui révèle ses comportements, de sorte que le concepteur puisse en apprécier la justesse. Plus techniquement la spécification réécrite est un graphe construit à partir des chemins de contrôle consistants issus de la spécification d'origine. Il est montré que la spécification réécrite décrit bien le même système et qu'elle peut être substituée à la spécification d'origine dans le cas où elle joue le rôle de composant au sein d'un système plus vaste. Ce résultat soutient une méthodologie de validation basée sur le couple validation unitaire/ validation d'intégration.