Duration Calculus: A Formal Approach to Real-Time Systems by Zhou ChaochenEnglish | PDF | 2004 | 253 Pages | ISBN : 3642074049| 17.53 MB
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.