Title :
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
fDate :
9/1/1991 12:00:00 AM
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;
Journal_Title :
Proceedings of the IEEE
