Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler - Archive ouverte HAL Access content directly
Journal Articles Discrete Event Dynamic Systems Year : 2013

Integrating Discrete Controller Synthesis into a Reactive Programming Language Compiler

(1) , (2) , (3)
1
2
3

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.
Fichier principal
Vignette du fichier
jdeds.pdf (265.35 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

Cite

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⟩
632 View
302 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More