嵌入式系統(tǒng)設計·嵌入式信息物理系統(tǒng)基礎（原書第2版）

譯者序
關于作者
原書前言
原書致謝
第1章 簡介
1.1 應用領域與實例
1.2 共同特征
1.3 嵌入式系統(tǒng)設計的挑戰(zhàn)
1.4 設計流程
1.5 本書的結構
1.6 思考題
第2章 規(guī)范與建模
2.1 需求
2.2 計算模型
2.3 早期設計階段
2.3.1 用例
2.3.2 （消息）序列圖
2.4 通信有限狀態(tài)機
2.4.1 時間自動機
2.4.2 狀態(tài)圖：隱性共享內存通信
2.4.3 同步語言
2.4.4 SDL：消息傳遞的場景
2.5 數(shù)據(jù)流
2.5.1 范圍
2.5.2 Kahn處理網絡
2.5.3 同步數(shù)據(jù)流
2.5.4 Simulink
2.6 Petri網
2.6.1 簡介
2.6.2 條件/事件網
2.6.3 庫所/變遷網
2.6.4 預測/變遷網
2.6.5 評估
2.7 基于離散事件的語言
2.7.1 VHDL
2.7.2 SystemC
2.7.3 Verilog與SystemVerilog
2.7.4 SpecC
2.8 馮·諾依曼語言
2.8.1 CSP
2.8.2 ADA
2.8.3 Java
2.8.4 Pearl與Chill
2.8.5 通信庫
2.9 硬件建模的層次
2.10 計算模型的比較
2.10.1 比較的標準
2.10.2 UML
2.10.3 Ptolemy Ⅱ
2.11 思考題
第3章 嵌入式系統(tǒng)硬件
3.1 簡介
3.2 輸入
3.2.1 傳感器
3.2.2 離散系統(tǒng)：采樣保持電路
3.2.3 數(shù)值離散化：AD轉換器
3.3 處理單元
3.3.1 概述
3.3.2 ASIC
3.3.3 處理器
3.3.4 可編程序邏輯
3.4 內存
3.5 通信
3.5.1 需求
3.5.2 電氣健壯性
3.5.3 實時性的保證
3.5.4 例子
3.6 輸出
3.6.1 DA轉換器
3.6.2 采樣定理
3.6.3 執(zhí)行器
3.7 安全硬件
3.8 思考題
第4章 系統(tǒng)軟件
4.1 嵌入式操作系統(tǒng)
4.1.1 總體需求
4.1.2 實時操作系統(tǒng)
4.1.3 虛擬機
4.1.4 資源訪問協(xié)議
4.2 ERIKA
4.3 硬件抽象層
4.4 中間件
4.4.1 OSEK/VDXCOM
4.4.2 CORBA
4.4.3 MPI
4.4.4 POSIX線程（Pthreads）
4.4.5 OpenMP
4.4.6 UPnP、DPWS和JXTA
4.5 實時數(shù)據(jù)庫
4.6 思考題
第5章 評估和驗證
5.1 簡介
5.1.1 范圍
5.1.2 多目標優(yōu)化
5.1.3 相關目標
5.2 性能評估
5.2.1 早期階段
5.2.2 WCET估算
5.2.3 實時微積分學
5.3 資源與功耗模型
5.4 熱模型
5.5 風險及可靠性分析
5.6 仿真
5.7 快速原型及仿真
5.8 形式驗證
5.9 思考題
第6章 應用程序映射
6.1 問題定義
6.2 實時系統(tǒng)中的調度
6.2.1 調度算法分類
6.2.2 沒有優(yōu)先級約束的非周期性調度
6.2.3 有優(yōu)先級約束的非周期性調度
6.2.4 沒有優(yōu)先級約束的周期調度
6.2.5 有優(yōu)先約束的周期調度
6.2.6 零散事件
6.3 硬件/軟件分割
6.3.1 簡介
6.3.2 COOL
6.4 映射至異構多處理器
6.5 思考題
第7章 優(yōu)化
7.1 任務級并發(fā)性管理
7.2 上層優(yōu)化
7.2.1 浮點至定點轉換
7.2.2 簡單循環(huán)轉換
7.2.3 循環(huán)分塊
7.2.4 循環(huán)分割
7.2.5 數(shù)組折疊
7.3 用于嵌入式系統(tǒng)的編譯器
7.3.1 簡介
7.3.2 高效節(jié)能編譯
7.3.3 基于內存架構的編譯
7.3.4 調和編譯器以及時序分析
7.3.5 DSP編譯
7.3.6 多媒體處理器的編譯
7.3.7 用于VLIW處理器的編譯器
7.3.8 用于網絡處理器的編譯器
7.3.9 編譯器的產生、重定向以及設計空間的研究
7.4 電源管理以及溫度管理
7.4.1 動態(tài)電壓調節(jié)
7.4.2 動態(tài)電源管理
7.5 思考題
第8章 測試
8.1 總覽
8.2 測試過程
8.2.1 門級別測試用例生成
8.2.2 自測程序
8.3 測試模式集的評估以及系統(tǒng)的魯棒性
8.3.1 故障覆蓋率
8.3.2 故障仿真
8.3.3 故障輸入
8.4 可測試性設計
8.4.1 動機
8.4.2 掃描設計
8.4.3 特征分析
8.4.4 偽隨機測試模式生成
8.4.5 內置邏輯塊觀測
8.5 思考題
附錄
附錄A 整數(shù)線性規(guī)劃
附錄B 基爾霍夫定律與運算放大器
參考文獻