Extending interval logic to real time systems
Interval logic is a temporal logic that provides a higher-level framework for specifying distributed systems. The concepts of intervals and interval composition form the basic structure of many specifications. Interval logic allows such conceptual requirements to be stated rather directly and intuitively.
Temporal logic has suffered from its orientation towards eventuality rather than immediacy in real time; indeed, pure temporal logic makes no reference to time! There are many real time properties that are critical to the specification of distributed systems. We have been able to extend interval logic to allow real time bounds on intervals and to allow events to be defined by real time offsets from other events. The extension is clean and sufficient to describe real time constraints directly and easily.
The interval logic is demonstrated by application to the lift specification example.
Unable to display preview. Download preview PDF.
- R. L. Schwartz and P. M. Melliar-Smith, “From State Machines to Temporal Logic: Specification Methods for Protocol Standards,” IEEE Transactions on Communications, Vol. COM-30, No. 12, December 1982, pp. 2486–2496.Google Scholar
- R. L. Schwartz, P. M. Melliar-Smith and F. Vogt, “An Interval Based Temporal Logic,” ACM Workshop on the Logics of Programming (June 1983), 443–457.Google Scholar
- R. L. Schwartz, P. M. Melliar-Smith and F. Vogt, “An Interval Logic for Higher-Level Temporal Reasoning,” ACM Symposium on Principles of Distributed Computing (August 1983), 173–186.Google Scholar