Charles André, Fréedéric Boulanger, Alain Girault
Synchronous languages allow
a high level, concurrent, and deterministic description the behavior of reactive
systems. Thus, they can be used advantageously for the programming of embedded
control systems. The runtime requirements of synchronous code are light, but
several critical properties must be fulfilled.
In this paper, we address the problem of the software implementation of synchronous
programs. After a brief introduction to reactive systems, this paper formalizes
the notion of “execution machine” for synchronous code. Then, a
generic architecture for centralized execution machine is introduced. Finally,
several effective implementations are presented.
@INPROCEEDINGS{sp:icacsd01,
AUTHOR = "C. Andr\'e and F. Boulanger and A. Girault",
TITLE = "Software Implementation of Synchronous Programs",
sorte= "colin" ,
YEAR = {2001},
PAGES = {133--142},
BOOKTITLE = {Proceedings of the Second International Conference on Application
of
Concurrency to System Design, Newcastle upon Tyne, UK, June 25--29, 2001},
PUBLISHER= {IEEE Computer Society},
NOTE = {IEEE Computer Society Press Order Number PR01071
Library of Congress Number 2001090878
ISBN 0-7695-1071-X}
}