前言
第1章 嵌入式系統基本理論
1.1 嵌入式系統的定義
1.2 嵌入式系統的發(fā)展史
1.3 嵌入式系統的基本組成
1.4 嵌入式實時操作系統
1.5 嵌入式處理器
1.6 嵌入式系統的通信結構
1.7 傳統的嵌入式系統的設計方法論
1.8 本書結構安排
第2章 嵌入式系統的實時調度算法
2.1 實時系統簡介
2.2 實時調度算法
2.3 擴展的兩種調度算法
2.4 基于裕度的列表調度算法
2.5 本章小結
第3章 基于soPc的嵌入式系統的設計
3.1 SoC和soPc技術
3.2 設計流程
3.3 本章小結
第4章 一種擴展的時間Petri網模型
4.1 基于形式語言的嵌入式系統設計方法論
4.2 形式語言
4.3 Petri網建模
4.4 RBTPN模型
4.5 本章小結
第5章 基于RBTPN模型的調度分析
5.1 可達圖分析
5.2 調度分析
5.3 基于可達圖的調度分析
5.4 調度序列的分解和合并
5.5 調度序列的時間限制
5.6 實時系統的靜態(tài)校驗
5.7 同現有調度模型的比較
5.8 本章小結
第6章 智能家居系統
6.1 智能家居概述
6.2 相關技術
6.3 智能家居系統
6.4 本章小結
參考文獻