Duration Calculus A Formal Approach to Real-Time Systems |
|
Author:
| Hansen, Michael R. Zhou, Chaochen |
Series title: | EATCS Monographs on Theoretical Computer Science |
ISBN: | 978-3-540-40823-9 |
Publication Date: | Jan 2003 |
Publisher: | Springer
|
Book Format: | Hardback |
List Price: | AUD $302.95 |
Book Description:
|
A comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {{0,1}}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval...
More DescriptionA comprehensive introduction to interval logic and duration calculus for modelling, analysing and verifying real-time systems. The Duration Calculus (DC) represents a logical approach to formal design of real-time systems. In DC real numbers are used to model time and Boolean-valued (i.e. {{0,1}}-valued) functions over time to model states of real-time systems. The duration of a state in a time interval is the accumulated presence time of the state in the interval. DC extends interval logic to a calculus to specify and reason about properties of state durations. The text covers theory (completeness, decidability, undecidability, model-checking), results, as well as case studies (Deadline Driven Scheduler).