Skip to Main content Skip to Navigation
Conference papers

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

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
Document type :
Conference papers
Complete list of metadata

Cited literature [1 references]  Display  Hide  Download

https://hal.inria.fr/inria-00520038
Contributor : Hervé Marchand Connect 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

File

2003-MSR-Ioco.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00520038, version 1

Citation

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⟩

Share

Metrics

Record views

65

Files downloads

49