Duration Calculus A Formal Approach to Real-Time Systems

Real-time systems are systems in which temporal properties are essential for reliability and correctness. Examples of systems where correctness and reliability are important for safety reasons include control systems for cars, trains and air planes. In devices such as washing machines, DVD players a...

Full description

Bibliographic Details
Main Authors: Zhou, Chaochen, Hansen, Michael R. (Author)
Format: eBook
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Monographs in Theoretical Computer Science. An EATCS Series
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
Table of Contents:
  • 1. Introduction
  • 2. Interval Logic
  • 3. Duration Calculus
  • 4. Deadline-Driven Scheduler
  • 5. Relative Completeness
  • 6. Decidability
  • 7. Undecidability
  • 8. Model Checking: Linear Duration Invariants
  • 9. State Transitions and Events
  • 10. Superdense State Transitions
  • 11. Neighborhood Logic
  • 12. Probabilistic Duration Calculus
  • References
  • Abbreviations
  • Symbol Index