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

fYear

1993

fDate

22-24 Sep 1993

Firstpage

312

Lastpage

318

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Distributed Computing Systems, 1993., Proceedings of the Fourth Workshop on Future Trends of

Conference_Location

Lisbon

Print_ISBN

0-8186-4430-3

Type

conf

DOI

10.1109/FTDCS.1993.344140

Filename

344140