%0 Conference Proceedings
%F jeron2003
%A Jéron, T.
%A Marchand, H.
%A Rusu, V.
%A Tschaen, V.
%T Synthèse de contrôleurs pour une relation de conformité
%B 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03
%C Metz, France
%X 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
%U http://www.irisa.fr/vertecs/Publis/Ps/2003-MSR-Ioco.pdf
%8 October
%D 2003