jeron2003

T. Jéron, H. Marchand, V. Rusu, V. Tschaen. Synthèse de contrôleurs pour une relation de conformité. In 4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, MSR'03, Metz, France, October 2003.

Download [help]

Download paper: Adobe portable document (pdf)

Copyright notice: This 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.
This page is automatically generated by bib2html v216, © INRIA 2002-2007, Projet Lagadic

Abstract

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

Contact

Thierry Jéron http://www.irisa.fr/prive/jeron
Hervé Marchand http://www.irisa.fr/prive/hmarchan
Vlad Rusu http://www.irisa.fr/vertecs/Equipe/Rusu/vlad-rusu.html
Valéry Tschaen http://www.irisa.fr/vertecs/Equipe/Tschaen

BibTex Reference

@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}
}

EndNote Reference [help]

Get EndNote Reference (.ref)