T. Jéron, H. Marchand, V. Rusu, V. Tschaen.

Synthèse de contrôleurs pour une relation de conformité

A paraitre dans Modélisation des systèmes réactifs, MSR'03

Résumé: Nous nous intéressons à la combinaison du test de conformité et de la
synthèse  de  contrôleurs  ;   spécifiquement,  au  problème  de  rendre  une
implémentation  d'un  système conforme  à  sa  spécification,  à l'aide  d'un
contrôleur  calculé  automatiquement.   Ce  dernier  peut être  vu  comme  un
``patch'' qui corrige automatiquement  des erreurs, qui autrement auraient dû
être détectées par le test et corrigées  à la main.  Nous traitons ici le cas
où  toutes  les actions  de  la  spécification  et de  l'implémentation  sont
observables depuis  l'environnement, mais  seul un sous-ensemble  des actions
est contrôlable.