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

fYear

1993

fDate

1-3 Dec 1993

Firstpage

189

Lastpage

193

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1993., Proceedings.

Conference_Location

Raleigh Durham, NC

Print_ISBN

0-8186-4480-X

Type

conf

DOI

10.1109/REAL.1993.393501

Filename

393501