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.