A functional approach for expressing temporal properties of inputs and outputs of real-time applications

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.<>