Title :
A functional approach for expressing temporal properties of inputs and outputs of real-time applications
Author :
Raja, Prasad ; Noubir, Guevara
Author_Institution :
Swiss Federal Inst. of Technol., Lausanne, Switzerland
Abstract :
Many real-time applications are different from ordinary computer applications because they react to the state or change of state of the external environment within a specified time limit. The authors concentrate on the interface between such applications and the external environment. The interface is represented as real-time objects, on which operations that accomplish correct data flow from the external environment to the application are introduced. The main aim of this work is to characterize the data flow by specifying the semantics of the operations. A functional approach is adopted for specifying and expressing the semantics of the operations
Keywords :
input-output programs; real-time systems; I/O processes; application-environment interface; data flow; external environment state; functional approach; inputs; operational semantics; outputs; real-time applications; real-time objects; temporal properties; Actuators; Application software; Character generation; Computer applications; Control systems; History; Manufacturing systems; Object oriented modeling; Process control; Real time systems;
Conference_Titel :
Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of
Conference_Location :
Lisbon
Print_ISBN :
0-8186-4430-3
DOI :
10.1109/FTDCS.1993.344140
