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 Author:	Chaochen, Zhou
Corporate Author:	SpringerLink (Online service)
Other Authors:	Hansen, Michael R.
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg, 2004.
Series:	Monographs in Theoretical Computer Science An EATCS Series.
Subjects:	Computer science. Software engineering. Logic design. Electronic books.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

Introduction
Interval Logic
Duration Calculus
Deadline Driven Scheduler
Relative Completeness
Decidability
Undecidability
Model-Checking: Linear Duration Invariants
State Transitions and Events
Super-dense Transitions
Neighbourhood Logic
Probabilistic Duration Calculus
References
Abbrevitions
Symbol Index
Index.