Software implementation of synchronous programs

Author

André, Charles ; Boulanger, Frédéric ; Girault, Alain

Author_Institution

I3S Lab, CNRS, Sophia Antipolis, France

fYear

2001

fDate

2001

Firstpage

133

Lastpage

142

Abstract

Synchronous languages allow a high level, concurrent, and deterministic description of the behavior of reactive systems. Thus, they can be used advantageously for the programming of embedded control systems. The runtime requirements of synchronous code are light, but several critical properties must be fulfilled. In this paper, we address the problem of the software implementation of synchronous programs. After a brief introduction to reactive systems, this paper formalizes the notion of "execution machine" for synchronous code. Then, a generic architecture for centralized execution machines is introduced. Finally, several effective implementations are presented

Keywords

concurrency theory; formal verification; program compilers; real-time systems; centralized execution machines; embedded control systems; reactive systems; software implementation; synchronous code; synchronous programs; Automatic control; Computer architecture; Concurrent computing; Control systems; Debugging; Electrical equipment industry; Interactive systems; Operating systems; Parallel processing; Program processors;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2001. Proceedings. 2001 International Conference on

Conference_Location

Newcastle upon Tyne

Print_ISBN

0-7695-1071-X

Type

conf

DOI

10.1109/CSD.2001.981771

Filename

981771