Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Article Dans Une Revue Discrete Event Dynamic Systems Année : 2013

Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler

Résumé

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.
Fichier principal
Vignette du fichier
jdeds.pdf (265.35 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00863286 , version 1 (07-11-2014)

Identifiants

Citer

Gwenaël Delaval, Eric Rutten, Hervé Marchand. Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler. Discrete Event Dynamic Systems, 2013, 23 (4), pp.385-418. ⟨10.1007/s10626-013-0163-5⟩. ⟨hal-00863286⟩
651 Consultations
334 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More