Distributing synchronous programs on a loosely synchronous, distributed architecture


Albert Benveniste, Paul Caspi, and Stavros Tripakis
(revised version of the Irisa Research Report 1289)

In this short note we discuss the distribution of synchronous programs on distributed, asynchronous architecture of the type preferred for embedded real-time control applications. In such architectures, no global clock is broadcast. Instead, the bus, as well as its users are triggered by local periodic clocks. To improve fault-tolerance and robustness, these clocks are not synchronized, neither physically nor logically. Therefore such an architecture has some (restricted) degree of asynchrony, we call it loosely synchronous. A typical example of such architecture is the OSEK protocol, used for embedded electronics in automotive industry.

In this note we show how synchronous programs can be safely distributed on loosely synchronous architectures.
The method described here may not be novel to some communities, but it aims at ensuring awareness of the community of engineers in the area of real-time, embedded control systems.

Keywords : ssynchronous languages, desynchronization, distributed code generation, loosely synchronous.
 
 

 gzipped postscript