Charles ANDRÉ, Hédi BOUFAÏED
Control-dominated systems,
like controllers, are reactive systems often subject to real-time constraints.
The programming style adopted for these applications is rather special: event-
or interrupt-driven programs involving complex coordination. Imperative synchronous
languages like Esterel have been introduced to cope with these applications.
We have developed an environment to deal with control-dominated systems. The
user expresses the expected behavior of the controller using a synchronous formalism.
Given this description and a configuration (inputs, outputs, interaction policies,
…), a dedicated “execution machine” is generated.
This paper presents the outline of this approach based on a the synchronous
paradigm, and explains the role and the architecture of the execution machine.
synchronous programming, execution machine, control, implementation.
@INPROCEEDINGS{sp:idpt2000,
AUTHOR = {C. Andr\'e and H. Boufaied},
TITLE = "Execution Machine for Synchronous Languages",
YEAR = {2000},
PAGES = {144--149},
BOOKTITLE = {IDPT'2000 (Integrated Design and Process Technology},
PUBLISHER = {SDPS, (TX)},
ADDRESS = {Dallas (TX)},
sorte = "colin",
MONTH = {June}
}