Programming Real-Time Applications with Signal

Paul Le Guernic 1 Thierry Gautier 1 Michel Le Borgne 1 Claude Le Maire 1
1 EP-ATR - Environnement de programmation d'applications temps réel
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
Abstract : This paper presents the main features of the Signal language and its compiler. Designed to provide safe real time system programming, the Signal language is based on the synchronous principles. Its semantics is 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 may thus be used as a proof system. Moreover, the equational approach is a natural way to derive multiprocessor executions of a program. Finally, this approach meets the intuition through a graphical interface of block-diagram style, and the system is illustrated on a speech recognition application.
Type de document :
Article dans une revue
Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 1991, Another look at Real-time programming, 79 (9), pp.1321-1336. 〈10.1109/5.97301〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00540460
Contributeur : Thierry Gautier <>
Soumis le : lundi 29 novembre 2010 - 10:59:20
Dernière modification le : vendredi 16 novembre 2018 - 01:31:21
Document(s) archivé(s) le : samedi 3 décembre 2016 - 04:01:41

Fichier

ProcIEEE-91_gen_lang.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Paul Le Guernic, Thierry Gautier, Michel Le Borgne, Claude Le Maire. Programming Real-Time Applications with Signal. Proceedings of the IEEE, Institute of Electrical and Electronics Engineers, 1991, Another look at Real-time programming, 79 (9), pp.1321-1336. 〈10.1109/5.97301〉. 〈inria-00540460〉

Partager

Métriques

Consultations de la notice

300

Téléchargements de fichiers

532