Intégration de la synthèse de contrôleurs discrets dans un langage de programmation

Résumé : Nous définissons un langage de programmation mixte impératif / déclaratif : des contrats déclaratifs sont imposés sur des comportements décrits impérativement. La définition du langage fait appel à la synthèse de contrôleurs discrets (SCD), une technique formelle issue de l'automatique des systèmes à événements discrets. Nous visons le domaine d'application des systèmes de calcul adaptatifs et reconfigurables: notre langage permet de programmer des contrôleurs d'adaptation en boucle fermée, pour une exécution flexible des fonctionnalités, en réponse à des changements dans l'environnement ou les ressources de calcul. Nous faisons une présentation synthétique du langage, de sa sémantique et de sa compilation, et nous illustrons son utilisation par un exemple de système robotique.
Type de document :
Communication dans un congrès
Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011
Liste complète des métadonnées


https://hal.inria.fr/inria-00629104
Contributeur : Hervé Marchand <>
Soumis le : mercredi 5 octobre 2011 - 09:43:26
Dernière modification le : vendredi 3 juin 2016 - 01:06:24
Document(s) archivé(s) le : dimanche 4 décembre 2016 - 22:34:06

Fichier

msr11.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00629104, version 1

Collections

Citation

Gwenaël Delaval, Éric Rutten, Hervé Marchand. Intégration de la synthèse de contrôleurs discrets dans un langage de programmation. Modélisation des Systèmes Réactifs (MSR'11), Nov 2011, Lille, France. 2011. <inria-00629104>

Partager

Métriques

Consultations de
la notice

248

Téléchargements du document

200