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