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

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