汽车电子、航空航天和医疗设备等安全关键应用系统以高度集成的实时嵌入式（RTE）系统为构造基础。为了满足此类应用的功能复杂性、时序可预测性和高可靠性等方面的严格要求，需要完整统一的系统设计、实现、验证和分析方法。
实时嵌入式系统设计的论题非常广泛，其核心科学基础和方法涉及控制、计算机、软件和电子等多个工程领域。本书从实时计算和设计自动化两方面讨论此类系统的系统级设计方法，主要涉及硬件架构、实时操作系统、实时任务调度与共享资源访问控制、多处理器与分布式实时系统、实时嵌入式软件设计（程序结构、编程模型、实时编程语言）、形式化方法（设计、建模、验证）、建模语言与设计框架，以及常用的辅助设计工具等内容，涵盖应用软件、运行时环境和硬件系统结构等多个系统层次。书中纲要式地勾画出基于构件化设计（CBD）和基于模型化设计（MBD）范式的系统设计方法的完整视图和工程化开发过程的关键阶段，并展现了学术界的最新研究成果和工业界的应用现状。
本书面向计算机专业研究生或高年级本科生，需要读者具备计算机工程、软件工程、控制工程、电子工程等相关领域的基础知识。

第1章 绪论
1.1 实时嵌入式系统及其特征
1.1.1 反应式系统
1.1.2 实时系统
1.1.3 安全关键系统
1.1.4 混合关键系统
1.1.5 分布式实时系统
1.2 嵌入式系统设计过程与方法
1.2.1 MBD方法
1.2.2 CBD方法
1.2.3 PBD方法
1.2.4 IBD方法
1.2.5 形式化方法
1.3 计算模型、编程语言与软件实现
1.4 实时嵌入式系统设计方法存在的关键问题
1.5 本书的组织结构
思考题
第2章 实时嵌入式系统硬件架构
2.1 微处理器/微控制器
2.1.1 Cortex-M3体系结构
2.1.2 XMOS处理器
2.1.3 嵌入式处理器IP
2.1.4 英飞凌AURIX微控制器
2.2 存储器
2.2.1 SPM
2.2.2 TCM
2.3 定时与脉宽调制
2.3.1 计数器与定时器
2.3.2 脉宽调制器
2.4 系统总线
2.4.1 PCI总线
2.4.2 PCIe总线
2.4.3 AMBA总线
2.4.4 MicroBlaze系统总线
2.5 本章小结
思考题
第3章 实时操作系统
3.1 反应式内核
3.2 系统服务
3.2.1 任务管理
3.2.2 任务互斥、同步、通信
3.2.3 内存管理
3.2.4 时间管理
3.2.5 I/O管理
3.2.6 异常与中断管理
3.3 RTOS主要性能指标和测试套
3.4 典型的RTOS
3.4.1 μC/OS-Ⅱ
3.4.2 FreeRTOS
3.4.3 RTEMS
3.5 RTOS标准
3.5.1 POSIX-RT标准
3.5.2 OSEK/VDX标准
3.5.3 AUTOSAR OS标准
3.5.4 ARINC 653标准
3.6 本章小结
思考题
第4章 实时任务调度
4.1 任务与作业
4.2 任务约束
4.2.1 事件时序约束模型
4.2.2 任务时序约束模型
4.3 任务调度
4.3.1 任务调度器属性
4.3.2 调度算法分类
4.3.3 处理器利用率
4.4 调度算法
4.4.1 时钟驱动调度
4.4.2 动态任务调度
4.4.3 混合任务集调度
4.4.4 优先约束任务调度
4.4.5 模式切换
4.4.6 基于释放时间的调度
4.4.7 有限抢占调度
4.4.8 过载处理
4.5 可调度性测试与分析
4.5.1 EDD保证性测试
4.5.2 EDF可调度性测试
4.5.3 RM可调度性测试
4.5.4 DM算法可调度性
4.5.5 响应时间分析
4.6 WCET估算
4.6.1 影响程序执行时间的因素
4.6.2 静态WCET分析
4.7 本章小结
思考题
第5章 共享资源访问控制
5.1 互斥
5.2 死锁
5.2.1 检测算法
5.2.2 恢复算法
5.2.3 死锁避免
5.2.4 死锁预防
5.2.5 替代同步方法
5.3 优先级反转
5.3.1 非抢占协议
5.3.2 优先级继承协议
5.3.3 天花板优先级协议
5.3.4 优先级天花板协议
5.3.5 栈资源策略
5.3.6 同步协议比较
5.4 本章小结
思考题
第6章 多处理器与分布式实时系统
6.1 多处理器任务调度
6.1.1 分区任务调度
6.1.2 全局任务调度
6.1.3 调度异常
6.2 多处理器资源同步
6.2.1 存储模型
6.2.2 锁与互斥访存
6.2.3 多处理器互斥
6.3 分布式资源同步
6.3.1 分布式互斥
6.3.2 分布式死锁
6.4 时钟同步
6.4.1 集中式时钟同步
6.4.2 分布式时钟同步
6.5 分布式实时系统整体调度
6.5.1 端到端资源、任务与消息
6.5.2 任务同步控制机制
6.5.3 释放抖动
6.5.4 整体可调度性分析算法
6.6 现场总线
6.6.1 CAN总线
6.6.2 CANopen总线
6.7 通信网络
6.7.1 基本模型
6.7.2 AFDX协议
6.7.3 FlexRay协议
6.7.4 TTP
6.7.5 时间触发体系结构
6.7.6 时间触发以太网
6.7.7 无线传感器网络
6.8 本章小结
思考题
第7章 实时嵌入式软件设计
7.1 任务定义与划分
7.1.1 DARTS方法
7.1.2 COMET方法
7.1.3 任务时间预算
7.2 嵌入式程序结构
7.2.1 多任务协作
7.2.2 主循环结构
7.3 时序约束与编程模型
7.3.1 时序约束与时钟
7.3.2 实时语言的时间语义
7.3.3 实时编程模型
7.3.4 程序语句级时序控制
7.4 实时编程语言
7.4.1 异步范式
7.4.2 同步范式
7.5 本章小结
思考题
第8章 形式化方法
8.1 系统级设计方法
8.1.1 离散事件系统
8.1.2 事件-动作模型
8.1.3 时间约束满足问题
8.1.4 抽象建模
8.1.5 形式验证
8.2 离散行为建模与验证
8.2.1 状态机模型
8.2.2 数据流模型
8.2.3 时态逻辑
8.2.4 实时逻辑
8.2.5 模型检测验证示例
8.2.6 混成系统建模与验证
8.3 构件组合模型
8.3.1 IOA与TIOA
8.3.2 IA和TIA
8.3.3 语义扩展
8.3.4 模块