Validation de spécifications à base d'automates par des techniques de dépliage et d'exécution

par Nicolas Rapin

Thèse de doctorat en Informatique

Sous la direction de Pascale Le Gall.

Soutenue en 2004

à Evry-Val d'Essonne .


  • Résumé

    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.


  • Résumé

    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.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (167 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. p.158-163

Où se trouve cette thèse ?

  • Bibliothèque : Université d'Evry-Val d'Essonne. Service commun de la documentation. Bibliothèque centrale.
  • Consultable sur place dans l'établissement demandeur
  • Cote : 629.89 RAP val
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.