The signal software environment for real-time system specification, design, and implementation

Albert Benveniste 1 Paul Le Guernic 1 Christian Jacquemot 2
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 : In this paper, "reactive systems", i.e. systems which interact permanently with their environment, are considered. Such systems are encountered, for instance, in real-time control or signal processing systems, command-control-communication system, man-machine interfaces, to mention just a few. We present the Signal software environment designed and developped at INRIA-IRISA and its formal calculus system to perform the above mentioned tasks. We outline the principles of the Signal "synchronous" language and its calculus system, which is based on formal manipulations of nonlinear dynamical systems over the finite field of integers modulo 3. Then we present the prototype workstation designed at CNET, where automatic mapping of a Signal program onto a multi-transputer target architecture is performed, with the aid of a sophisticated graphic environment. Finally, we discuss what could be the impact of such tools on the future of real-time systems specification, design and implementation.
Type de document :
Rapport
[Research Report] RR-1105, INRIA. 1989
Liste complète des métadonnées

https://hal.inria.fr/inria-00075454
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:15:24
Dernière modification le : mercredi 11 avril 2018 - 02:01:12
Document(s) archivé(s) le : mardi 12 avril 2011 - 23:10:19

Fichiers

Identifiants

  • HAL Id : inria-00075454, version 1

Citation

Albert Benveniste, Paul Le Guernic, Christian Jacquemot. The signal software environment for real-time system specification, design, and implementation. [Research Report] RR-1105, INRIA. 1989. 〈inria-00075454〉

Partager

Métriques

Consultations de la notice

235

Téléchargements de fichiers

81