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