出版者的话译者序中文版序前言第1章　实时环境 11.1　实时计算机系统 11.2　功能需求 21.2.1　数据采集 21.2.2　直接数字控制 41.2.3　人机交互 41.3　时域需求 51.3.1　时域需求的出处 51.3.2　最小延迟抖动 71.3.3　最小错误检测延迟 71.4　可信需求 71.4.1　可靠性 71.4.2　安全性 81.4.3　可维护性 81.4.4　可用性 91.4.5　信息安全 91.5　实时系统分类 91.5.1　硬实时系统与软实时系统 101.5.2　失效安全系统与失效可运作系统 111.5.3　响应有保证系统与尽力而为系统 111.5.4　资源充分系统与资源受限系统 121.5.5　事件触发系统与时间触发系统 121.6　实时系统产品的市场分析 121.6.1　嵌入式实时系统 131.6.2　工厂自动化系统 141.6.3　多媒体系统 151.7　实时系统典型案例 151.7.1　管道流量控制系统 151.7.2　发动机控制器 161.7.3　自动轧钢系统 17要点回顾 18文献注解 19复习题 19第2章　简约设计 212.1　认知 212.1.1　问题求解 212.1.2　概念定义 232.1.3　认知复杂性 232.1.4　简化策略 252.2　概念图谱 252.2.1　概念形成 252.2.2　科学概念 272.2.3　消息 272.2.4　变量的语义内容 282.3　建模的本质 292.3.1　目标与视角 292.3.2　设计的主要挑战 302.4　涌现行为 312.4.1　不可约性 312.4.2　基础特性和推导特性 312.4.3　复杂系统 322.5　如何开展简约设计 33要点回顾 34文献注解 35复习题 36第3章　全局时间 373.1　时间和序 373.1.1　不同（性质）的序 373.1.2　时钟 383.1.3　精度和准确度 403.1.4　时间标准 413.2　时间测量 423.2.1　全局时间 423.2.2　区间测量 433.2.3　π/Δ优先序 443.2.4　时间测量的根本局限 453.3　稠密时间与稀疏时间 453.3.1　稠密时基 463.3.2　稀疏时基 463.3.3　时空划分 473.3.4　时间的周期性表示 483.4　内时钟同步 483.4.1　同步条件 493.4.2　集中式主控同步 503.4.3　容错同步算法 513.4.4　状态校正与速率校正 533.5　外时钟同步 543.5.1　外部时间源 543.5.2　时间网关 553.5.3　时间格式 56要点回顾 56文献注解 57复习题 57第4章　实时模型 594.1　模型概述 594.1.1　组件和消息 594.1.2　组件集群 604.1.3　时域控制与逻辑控制 614.1.4　事件触发控制与时间触发控制 624.2　组件状态 634.2.1　状态的定义 634.2.2　袖珍计算器案例 634.2.3　基状态 644.2.4　数据库组件 664.3　消息 664.3.1　消息结构 664.3.2　事件信息与状态信息 664.3.3　事件触发消息 674.3.4　时间触发消息 684.4　组件接口 684.4.1　接口特性 694.4.2　链接接口 704.4.3　技术独立控制接口 704.4.4　技术相关调试接口 704.4.5　本地接口 714.5　网关组件 714.5.1　特性失配 724.5.2　网关组件的LIF与本地接口 724.5.3　标准化的消息接口 734.6　链接接口规格 744.6.1　传输规格 744.6.2　操作规格 744.6.3　元级规格 754.7　组件集成 764.7.1　可组合性原则 764.7.2　集成视角 774.7.3　成体系系统 77要点回顾 79文献注解 80复习题 80第5章　时域关系 825.1　实时实体 825.1.1　控制范围 825.1.2　离散实时实体和连续实时实体 835.2　观测 835.2.1　不带时间戳的观测 835.2.2　间接观测 845.2.3　状态观测 845.2.4　事件观测 845.3　实时镜像与实时对象 855.3.1　实时镜像 855.3.2　实时对象 855.4　时域精确性 865.4.1　定义 865.4.2　实时镜像的分类 885.4.3　状态估计 895.4.4　可组合性考虑 905.5　持久性和幂等性 905.5.1　持久性 905.5.2　动作延迟时长 915.5.3　精确性时间间隔与动作延迟 925.5.4　幂等性 925.6　确定性 925.6.1　确定性的定义 935.6.2　一致的初始状态 955.6.3　不确定性设计成分 955.6.4　重获确定性 96要点回顾 97文献注解 98复习题 98第6章　可信性 996.1　基本概念 996.1.1　故障 1006.1.2　错误 1016.1.3　失效 1026.2　信息安全 1046.2.1　安全信息流 1046.2.2　安全威胁 1056.2.3　加密方法 1066.2.4　网络身份认证 1086.2.5　实时控制数据的保护 1096.3　异常检测 1096.3.1　什么是异常 1096.3.2　失效检测 1116.3.3　错误检测 1116.4　容错 1126.4.1　故障假设 1136.4.2　容错单元 1146.4.3　成员关系服务 1166.5　健壮性 1176.5.1　基本概念 1176.5.2　健壮系统的结构 1186.6　组件重集成 1186.6.1　重集成时间点 1196.6.2　最小化基状态规模 1196.6.3　组件重启 120要点回顾 120文献注解 122复习题 122第7章　实时通信 1237.1　需求 123