Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Software Implementation of Synchronous Programs Charles Andre
 

Summary: Software Implementation of Synchronous Programs
Charles Andr´e

Fr´ed´eric Boulanger
ˇ
Alain Girault
˘
Abstract
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