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

Thierry Jéron 1 Hervé Marchand 1 Vlad Rusu 1 Valérie Tschaen 1
1 VERTECS - Verification models and techniques applied to testing and control of reactive systems
Inria Rennes – Bretagne Atlantique
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
Type de document :
Communication dans un congrès
4ième Colloque Francophone sur la Modélisation des Systèmes Réactifs, Oct 2003, Metz, France. Lavoisier, pp.523-536, 2003, Modélisation des systèmes réactifs
Liste complète des métadonnées

Littérature citée [1 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/inria-00520038
Contributeur : Hervé Marchand <>
Soumis le : mercredi 22 septembre 2010 - 09:44:25
Dernière modification le : mercredi 11 avril 2018 - 01:55:55
Document(s) archivé(s) le : jeudi 23 décembre 2010 - 02:49:15

Fichier

2003-MSR-Ioco.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00520038, version 1

Collections

INRIA | IRISA | UR1-UFR-ISTIC

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. Lavoisier, pp.523-536, 2003, Modélisation des systèmes réactifs. 〈inria-00520038〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

147

Téléchargements de fichiers

95

Contact


archive-ouverte@inria.fr