Title :
Implementation of a synchronous execution machine on Chorus micro-kernel
Author :
Bernhard, Raphaël ; Hazard, Laurent ; Horn, Francois ; Stefani, Jean-Bernard
Author_Institution :
Cerics, Sophia-Antipolis, France
Abstract :
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
Keywords :
distributed processing; formal specification; operating system kernels; programming; synchronisation; Chorus; Chorus micro-kernel; ESTEREL language; distributed operating system micro-kernel; formal description; generic execution machine; infrastructure support; interfacing; programming; real-time systems; synchronous execution machine; synchronous languages; synchronous programs; synchronous semantics; Automata; Computer languages; Context modeling; Hazards; Operating systems; Program processors; Programming profession; Real time systems; Synchronous machines; Telecommunications;
Conference_Titel :
Real-Time Systems Symposium, 1993., Proceedings.
Conference_Location :
Raleigh Durham, NC
Print_ISBN :
0-8186-4480-X
DOI :
10.1109/REAL.1993.393501
