Software Implementation of Synchronous Programs

Charles André, Frédéric Boulanger, and Alain Girault
IEEE International Conference on Application of Concurrency to System Design
Newcastle upon Tyne, UK, June 2001


Synchronous languages allow a high level, concurrent, and deterministic description of 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 machines is introduced. Finally, several effective implementations are presented.

BibTeX entry

  author = 	 {C. Andr{\'e} and F. Boulanger and A. Girault},
  title = 	 {Software Implementation of Synchronous Programs},
  booktitle = 	 {IEEE International Conference on Application of
                  Concurrency to System Design},
  year =	 {2001},
  publisher =	 {IEEE Computer Society},
  address =	 {Newcastle upon Tyne, UK},
  month =	 {June},
  pages =	 {133--142},

[PDF] [Postscript]

Send comments to Alain Girault at