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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/inria-00629104
Contributor : Hervé Marchand <>
Submitted on : Wednesday, October 5, 2011 - 9:43:26 AM
Last modification on : Tuesday, April 2, 2019 - 1:47:41 AM
Long-term archiving on : Sunday, December 4, 2016 - 10:34:06 PM

File

msr11.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00629104, version 1

Collections

Citation

Gwenaël Delaval, Eric 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. ⟨inria-00629104⟩

Share

Metrics

Record views

327

Files downloads

324