Jump to : Download | Abstract | Contact | BibTex reference | EndNote reference |
Download paper Adobe portable document format (pdf)
Copyright noticeThis material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.
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.
Thierry Jéron
Thierry.Jeron@irisa.fr
Hervé Marchand
hmarchan@irisa.fr
Vlad Rusu
Vlad.Rusu@irisa.fr
Valéry Tschaen
valery.Tschaen@irisa.fr
@InProceedings{jeron2003,
Author = {Jéron, T. and Marchand, H. and Rusu, V. and Tschaen, V.},
Title = {Synthèse de contrôleurs pour une relation de conformité},
BookTitle = {4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03},
Address = {Metz, France},
Month = {October},
Year = {2003}
}
Get EndNote Reference (.ref)