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
Language:English
Published: Berlin, Heidelberg Springer Berlin Heidelberg 2004, 2004
Edition:1st ed. 2004
Series:Monographs in Theoretical Computer Science. An EATCS Series
Subjects:
Online Access:
Collection: Springer Book Archives -2004 - Collection details see MPG.ReNa
LEADER 03083nmm a2200385 u 4500
001 EB000687848
003 EBX01000000000000000540930
005 00000000000000.0
007 cr|||||||||||||||||||||
008 140122 ||| eng
020 |a 9783662067840 
100 1 |a Zhou, Chaochen 
245 0 0 |a Duration Calculus  |h Elektronische Ressource  |b A Formal Approach to Real-Time Systems  |c by Chaochen Zhou, Michael R. Hansen 
250 |a 1st ed. 2004 
260 |a Berlin, Heidelberg  |b Springer Berlin Heidelberg  |c 2004, 2004 
300 |a X, 250 p  |b online resource 
505 0 |a 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 
653 |a Compilers (Computer programs) 
653 |a Computer Science Logic and Foundations of Programming 
653 |a Compilers and Interpreters 
653 |a Software engineering 
653 |a Computer science 
653 |a Software Engineering 
653 |a Formal Languages and Automata Theory 
653 |a Machine theory 
653 |a Special Purpose and Application-Based Systems 
653 |a Computers, Special purpose 
700 1 |a Hansen, Michael R.  |e [author] 
041 0 7 |a eng  |2 ISO 639-2 
989 |b SBA  |a Springer Book Archives -2004 
490 0 |a Monographs in Theoretical Computer Science. An EATCS Series 
028 5 0 |a 10.1007/978-3-662-06784-0 
856 4 0 |u https://doi.org/10.1007/978-3-662-06784-0?nosfx=y  |x Verlag  |3 Volltext 
082 0 |a 005.1 
520 |a 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 and mobile phones the correctness and reliability of the embedded real-time computing systems are important for economical reasons as it is expensive to repair errors after the production phase. Duration Calculus is an interval logic having special features for expressing and analysing time durations of states in real-time systems. Duration Calculus represents a formal approach to the development of real-time systems, where requirements and designs can be expressed and reasoned about at an appropriate level of abstraction. This book presents the logical foundations of Duration Calculus in a coherent and thorough manner and through selective case studies it expains how Durations Calculus can be applied to formal specification and verification of real-time systems. The book also contains an extensive survey of the research on Duration Calculus. Material included in the book has been used for M.Sc. and Ph.D. courses, but the book is also valuable for experienced researchers and professionals