本书分析了这类系统的负载、故障和模型, 以及必须满足的时间规范, 从集成的角度, 讲述了分布式实时应用所包含的实时、分布、容错、调度和架构等方面的理论和技术基础, 描述了系统设计、实现和验证的一般方法, 致力于解释其解决方案与最新科学见解之间的关系。全书共分9章, 第1-3章作为入门, 主要介绍实时环境、实时实体、实时映像、任务、节点、簇、容错单元、全局时间同步和架构等基本概念; 第4-5两章给出了分布式实时系统一个概念性模型及其时间行为, 介绍了学术界在时间准确性、安定度、幂等性、复制确定性等方面的重要见解; 第6-8章利用失效、错误、故障、和复制等概念, 研究安全关键性系统的容错单元构造方法, 从最小抖动、可组性和复制确定性角度, 探讨时间触发协议、任务调度算法、实时操作系统和实时通信。

  ·点击进入下载地址