SIGNAL GTi: implementing task preemption and time intervals in the synchronous data flow language SIGNAL
- 19 November 2002
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- No. 10683070,p. 176-183
- https://doi.org/10.1109/emwrts.1995.514309
Abstract
This paper presents SIGNAL GTi, the encoding and implementation of an extension to the reactive data flow language SIGNAL with constructs for hierarchical task preemption. Tasks are defined as the association of a data-flow process with a time interval on which it is executed. The motivation for introducing these preemption structures is the need for the specification of different modes of interactions with the environment, and transitions between them (i.e. sequencing) an a nested way, especially in complex applications like robotics and discrete event control systems. A pre-processor to the SIGNAL compiler implements the encoding of the new constructs in the dataflow framework. This way, both data-flow and tasking paradigms are available within the same language-level framework, and the tools of the SIGNAL environment for optimization, simulation or proof are available.Keywords
This publication has 7 references indexed in Scilit:
- A multiparadigm language for reactive systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- The sequencing of data flow tasks in SIGNAL: application to active vision in roboticsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Synchronous Programming of Reactive SystemsPublished by Springer Nature ,1993
- Communicating reactive processesPublished by Association for Computing Machinery (ACM) ,1993
- Operational semantics of a kernel of the language ELECTRETheoretical Computer Science, 1992
- The synchronous approach to reactive and real-time systemsProceedings of the IEEE, 1991
- The ESTEREL languageProceedings of the IEEE, 1991