Communication Dans Un Congrès Année : 2003

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

Fichier principal
Vignette du fichier
2003-MSR-Ioco.pdf (134.83 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Licence
Loading...

Dates et versions

inria-00520038 , version 1 (22-09-2010)

Licence

Identifiants

  • HAL Id : inria-00520038 , version 1

Citer

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⟩
168 Consultations
218 Téléchargements

Partager

  • More