Implementation of a synchronous execution machine on Chorus micro-kernel

The programming of real-time systems with synchronous languages requires an infrastructure support, which we call a "synchronous execution machine". The role of a synchronous execution machine is to manage the interfacing of synchronous programs with their asynchronous environment, while respecting their synchronous semantics. Using the ESTEREL language as an example, we give a formal description of a generic execution machine and we discuss some aspects of its implementation on the Chorus distributed operating system micro-kernel.<<ETX>>