Title :
From synchronous intensional programming to efficient implementation
Author :
Gautier, Thierry ; Le Goff, Bernard
Author_Institution :
IRISA-INRIA, Rennes Univ., France
Abstract :
The authors combine concepts of synchronous programming and intensional programming for specification of real-time applications. The language Signal, based on both key elements of synchronous programming (the instantaneous and simultaneous nature of events), offers a specification formalism in which the time flow is implicit, i.e., it is dataflow oriented. Moreover, the referential time definition may be left to context; consequently, it is possible to specify some context-sensitive (intensional) processes. It is shown how local temporal and logical constraints are synthesized to exhibit the necessary and sufficient properties that a context should have to authorize a correct running. The constraints are modeled in the field of modulo 3 integers. The synthesis mechanism is presented through a detailed example
Keywords :
formal specification; programming; real-time systems; Signal; logical constraints; real-time applications; specification; synchronous intensional programming; temporal constraints; Automatic control; Control system synthesis; Control systems; Electronic mail; Process control; Real time systems; Robotics and automation; Signal processing; Signal synthesis; User interfaces;
Conference_Titel :
Real Time Systems Symposium, 1989., Proceedings.
Conference_Location :
Santa Monica, CA
Print_ISBN :
0-8186-2004-8
DOI :
10.1109/REAL.1989.63578