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
https://hal.inria.fr/inria-00520038 Contributor : Hervé MarchandConnect in order to contact the contributor Submitted on : Wednesday, September 22, 2010 - 9:44:25 AM Last modification on : Friday, February 4, 2022 - 3:15:57 AM Long-term archiving on: : Thursday, December 23, 2010 - 2:49:15 AM
Thierry Jéron, Hervé Marchand, Vlad Rusu, Valérie Tschaen. Synthèse de contrôleurs pour une relation de conformité. 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. pp.523-536. ⟨inria-00520038⟩