Duration Calculus

A Formal Approach to Real-Time Systems
1. Auflage. Softcover version of original hardcover Auflage 2004
ISBN: 978-3-642-07404-2
Verlag: Springer

Buch, Englisch, 250 Seiten, Previously published in hardcover, Format (B × H): 155 mm x 235 mm, Gewicht: 406 g

Reihe: Monographs in Theoretical Computer Science. An EATCS Series

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 and Boolean-valued (i.e. {0,1}-valued) functions over time to model of real-time systems. The of a state in a time interval is the accumulated presence time of the state in the interval. DC extends 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).

Zielgruppe

Research

Autoren/Hrsg.

Hansen, Michael R.

Zhou, Chaochen

Fachgebiete

• Mathematik | Informatik EDV | Informatik Betriebssysteme Echtzeitbetriebssysteme

Inhaltsverzeichnis

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.

Über Autor(innen)

Professor ZHOU Chaochen, Institute of Software, Chinese Academy of Sciences. Members of Chinese Academy of Sciences and the Third World Academy of Sciences. Former Director of International Institute for Software Technology, United Nations University. He has had about 30 years research experience in the area of formal techniques for computing systems, in particular for distributed and real-time systems.

Associate Prof. Michael R. Hansen. Informatics and Mathematical Modelling, Technical University of Denmark
Research interests:
Formal Methods, Computer Based Systems, Real-time systems, Hybrid systems, Duration Calculus.