Programming real-time applications with SIGNAL
- 1 September 1991
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in Proceedings of the IEEE
- Vol. 79 (9) , 1321-1336
- https://doi.org/10.1109/5.97301
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
This publication has 6 references indexed in Scilit:
- Polynomial ideal theory methods in discrete event, and hybrid dynamical systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Hybrid dynamical systems theory and the Signal languageIEEE Transactions on Automatic Control, 1990
- Specifying, programming and verifying real-time systems using a synchronous declarative languagePublished by Springer Nature ,1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Automatic verification of finite-state concurrent systems using temporal logic specificationsACM Transactions on Programming Languages and Systems, 1986
- Applications of temporal logic to the specification and verification of reactive systems: A survey of current trendsLecture Notes in Computer Science, 1986