分布式实时系统原理与设计方法

本书主要介绍分布式实时系统的技术原理和设计方法，重点围绕安全关键实时系统的行为确定性、可组合性和容错能力等难题提出了时间触发机制和相应的设计原则。本书整体内容分为四大部分，包括关于时间的基础理论、围绕实时性的平台技术介绍、围绕实时性和可信性的系统设计与确认，以及关于物联网和时间触发体系结构的最新进展。为了阐述相关概念和方法，本书结合三个样例系统提供了大量的案例解析，并贯穿始终。本书适合作为计算机科学、计算机工程和电子工程相关学科的高年级本科生或研究生的教材。