×

Real-time specification and reasoning using maximal intervals. (English) Zbl 0964.68090

Cheng, Wilson C. H. (ed.) et al., PART ’99. Proceedings of the 6th Australasian conference on Parallel and real-time systems, Melbourne, Australia, November 29-December 1, 1999. Singapore: Springer. 344-354 (2000).
Summary: Interval-based formalisms for real-time systems describe behaviour via the time intervals during which predicates on the system state hold. However, these formalisms are clumsy for relating the occurrences of state changes, or events. Here, we overcome this by introducing definitions and laws for maximal intervals. These define the longest time intervals over which a predicate holds, and their endpoints thus mark significant state changes.
For the entire collection see [Zbl 0932.00064].

MSC:

68Q60 Specification and verification (program logics, model checking, etc.)
PDFBibTeX XMLCite