Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler

Gwenaël Delaval 1 Éric Rutten 2 Hervé Marchand 3
1 POP ART - Programming languages, Operating Systems, Parallelism, and Aspects for Real-Time
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
2 SARDES - System architecture for reflective distributed computing environments
Inria Grenoble - Rhône-Alpes, LIG - Laboratoire d'Informatique de Grenoble
3 SUMO - SUpervision of large MOdular and distributed systems
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
Abstract : We define a mixed imperative/declarative programming language: declarative contracts are enforced upon imperatively described behaviors. This paper describes the semantics of the language, making use of the notion of Discrete Controller Synthesis (DCS). We target the application domain of adaptive and reconfigurable systems: our language can serve programming closed-loop adaptation controllers, enabling flexible execution of functionalities w.r.t. changing resource and environment conditions. DCS is integrated into a1 programming language compiler, which facilitates its use by users and programmers, performing executable code generation. The tool is concretely built upon the basis of a reactive programming language compiler, where the nodes describe behaviors that can be modeled in terms of transition systems. Our compiler integrates this with a DCS tool, making it a new environment for formal methods. We define the trace semantics of our contracts language, describe its compilation and establish its correctness, and discuss implementation and examples.
Type de document :
Article dans une revue
Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. 〈10.1007/s10626-013-0163-5〉
Liste complète des métadonnées

Littérature citée [39 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-00863286
Contributeur : Hervé Marchand <>
Soumis le : vendredi 7 novembre 2014 - 23:01:14
Dernière modification le : mercredi 2 août 2017 - 10:11:23
Document(s) archivé(s) le : dimanche 8 février 2015 - 11:15:42

Fichier

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

Identifiants

Citation

Gwenaël Delaval, Éric Rutten, Hervé Marchand. Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler. Discrete Event Dynamic Systems, Springer Verlag, 2013, 23 (4), pp.385-418. 〈10.1007/s10626-013-0163-5〉. 〈hal-00863286〉

Partager

Métriques

Consultations de la notice

591

Téléchargements de fichiers

165