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

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

[1]  Karl Johan Åström,et al.  Computer-Controlled Systems: Theory and Design , 1984 .

[2]  Xiaohui Song,et al.  Performance of multiversion concurrency control algorithms in maintaining temporal consistency , 1990, Proceedings., Fourteenth Annual International Computer Software and Applications Conference.

[3]  Hermann Kopetz,et al.  CONSISTENCY CONSTRAINTS IN DISTRIBUTED REAL TIME SYSTEMS , 1988 .

[4]  K. H. Kim,et al.  Temporal uncertainties in interactions among real-time objects , 1990, Proceedings Ninth Symposium on Reliable Distributed Systems.

[5]  P. Raja,et al.  Characterizing Temporal Consistency In A Fieldbus Environment , 1992, Singapore International Conference on Intelligent Control and Instrumentation [Proceedings 1992].

[6]  Kwei-Jay Lin,et al.  Recovering imprecise transactions with real-time constraints , 1988, Proceedings [1988] Seventh Symposium on Reliable Distributed Systems.

[7]  Yu-Chi Ho,et al.  Discrete event dynamic systems : analyzing complexity and performance in the modern world , 1992 .