第1章 嵌入式系统基本理论 1
1.1 嵌入式系统的定义 1
1.2 嵌入式系统的发展史 2
1.3 嵌入式系统的基本组成 5
1.4 嵌入式实时操作系统 7
1.5 嵌入式处理器 14
1.6 嵌入式系统的通信结构 22
1.7 传统的嵌入式系统的设计方法论 25
1.8 本书结构安排 27
第2章 嵌入式系统的实时调度算法 29
2.1 实时系统简介 29
2.2 实时调度算法 29
2.3 扩展的两种调度算法 35
2.4 基于裕度的列表调度算法 38
2.5 本章小结 47
第3章 基于SoPC的嵌入式系统的设计 48
3.1 SoC和SoPC技术 48
3.2 设计流程 54
3.3 本章小结 57
第4章 一种扩展的时间Petri网模型 58
4.1 基于形式语言的嵌入式系统设计方法论 58
4.2 形式语言 59
4.3 Petri网建模 64
4.4 RBTPN模型 72
4.5 本章小结 81
第5章 基于RBTPN模型的调度分析 82
5.1 可达图分析 82
5.2 调度分析 98
5.3 基于可达图的调度分析 108
5.4 调度序列的分解和合并 118
5.5 调度序列的时间限制 124
5.6 实时系统的静态校验 126
5.7 同现有调度模型的比较 128
5.8 本章小结 134
第6章 智能家居系统 135
6.1 智能家居概述 135
6.2 相关技术 137
6.3 智能家居系统 148
6.4 本章小结 157
参考文献 158