Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Software Implementation of Synchronous Programs Charles Andre

Summary: Software Implementation of Synchronous Programs
Charles Andr´e

Fr´ed´eric 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 in-
troduction 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.
1 Introduction
1.1 Reactive Systems
Reactive systems are computer systems that react continuously to their environment, at a speed determined by the
latter [15]. This class of systems contrasts with transformational systems and interactive systems. Transformational
systems are classical programs whose inputs are available at the beginning of their execution, and which deliver


Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis


Collections: Computer Technologies and Information Sciences