Programming real-time applications with SIGNAL

Author

LeGuernic, P. ; Gautier, Thierry ; Le Borgne, Michel ; Le Maire, Claude

Author_Institution

IRISA, Campus de Beaulieu, Rennes, France

Volume

79

Issue

9

fYear

1991

fDate

9/1/1991 12:00:00 AM

Firstpage

1321

Lastpage

1336

Abstract

The authors present the main features of the SIGNAL language and its compiler. Designed to provide safe real time system programming, the SIGNAL language is based on synchronous principles. Its semantics are defined via a mathematical model of multiple-clocked flows of data and events. SIGNAL programs describe relations on such objects, so that it is possible to program a real time application via constraints. The compiler calculates the solutions of the system and thus can be used as a proof system. The equational approach is a natural way to derive multiprocessor executions of a program. This approach uses a graphical interface of a block-diagram style, and the system is illustrated on a speech recognition application

Keywords

parallel languages; program compilers; real-time systems; speech recognition; SIGNAL language; compiler; equational approach; graphical interface; multiple-clocked flows; multiprocessor executions; proof system; real time system programming; speech recognition; synchronous principles; Clocks; Delay effects; Digital filters; Equations; Mathematical model; Plasma welding; Program processors; Real time systems; Signal design; Speech recognition;

fLanguage

English

Journal_Title

Proceedings of the IEEE

Publisher

ieee

ISSN

0018-9219

Type

jour

DOI

10.1109/5.97301

Filename

97301