Software Implementation of Synchronous Programs

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.

• Type: Conference
• Year: 2001
• Where: ACSD
• Authors: Charles Andre, Frédéric Boulanger, Alain Girault
• Keywords: ACSD 2001, Execution Machine, Hardware, Reactive Systems, Synchronous Code