实时系统需要在给定的时间范围内对某些输入刺激作出反应。例如，汽车中的安全气囊在碰撞中必须在300毫秒内展开。有许多嵌入式安全关键型应用程序，每个应用程序都需要实时规范技术。本文介绍了其中三种基于逻辑和自动机的技术：持续演算、时间自动机和PLC-自动机。这些技术结合在一起，从持续时间演算中指定的实时需求形成无缝的设计流程；通过PLC-automata指定的设计；并将其转换为嵌入式系统硬件平台的源代码。介绍了规范技术的语法、语义和证明方法；建立了它们最重要的特性；现实生活中的例子说明了它们的用途。每章都有详细的案例研究和练习。对于学习实时系统或嵌入式系统的学生来说，这篇课文对交通和自动化领域的研究人员和专业人士来说也很有意义。