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

定　價：￥79.90

作　者：	（德）Peter Marwedel 著，何宗彬，任國棟等譯
出版社：	機械工業(yè)出版社
叢編項：	國際信息工程先進技術(shù)譯叢
標　簽：	單片機與嵌入式計算機與互聯(lián)網(wǎng)

購買這本書可以去

ISBN：	9787111412557	出版時間：	2013-04-01	包裝：
開本：	16開	頁數(shù)：		字數(shù)：

內(nèi)容簡介

　　《國際信息工程先進技術(shù)譯叢：嵌入式系統(tǒng)設(shè)計·嵌入式信息物理系統(tǒng)基礎(chǔ)（原書第2版）》針對近年來電子與通信技術(shù)的發(fā)展對嵌入式系統(tǒng)的需求，從總體上介紹了嵌入式系統(tǒng)的設(shè)計模式與方法，從系統(tǒng)的規(guī)范與建模、嵌入式硬件、嵌入式操作系統(tǒng)、系統(tǒng)的評估與驗證、應(yīng)用程序的實現(xiàn)與優(yōu)化等方面，對信息—物理系統(tǒng)的嵌入式設(shè)計進行了講述。透過本書，讀者可以學(xué)習到更多關(guān)于嵌入式領(lǐng)域的前沿知識與設(shè)計方法，也可以進一步鞏固嵌入式系統(tǒng)知識。本書對工程實踐也有著較強的指導(dǎo)意義?！秶H信息工程先進技術(shù)譯叢：嵌入式系統(tǒng)設(shè)計·嵌入式信息物理系統(tǒng)基礎(chǔ)（原書第2版）》可以作為工程師的嵌入式學(xué)習資料，也可以作為本科、碩士和研究人員的參考書，對當前的課程教學(xué)能起到很好的補充作用。

作者簡介

暫缺《嵌入式系統(tǒng)設(shè)計·嵌入式信息物理系統(tǒng)基礎(chǔ)（原書第2版）》作者簡介

圖書目錄

譯者序
關(guān)于作者
原書前言
原書致謝
第1章簡介
1.1 應(yīng)用領(lǐng)域與實例
1.2 共同特征
1.3 嵌入式系統(tǒng)設(shè)計的挑戰(zhàn)
1.4 設(shè)計流程
1.5 本書的結(jié)構(gòu)
1.6 思考題
第2章規(guī)范與建模
2.1 需求
2.2 計算模型
2.3 早期設(shè)計階段
2.3.1 用例
2.3.2 （消息）序列圖
2.4 通信有限狀態(tài)機
2.4.1 時間自動機
2.4.2 狀態(tài)圖：隱性共享內(nèi)存通信
2.4.3 同步語言
2.4.4 SDL：消息傳遞的場景
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 簡介
2.6.2 條件/事件網(wǎng)
2.6.3 庫所/變遷網(wǎng)
2.6.4 預(yù)測/變遷網(wǎng)
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轉(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 實時性的保證
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 實時操作系統(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 相關(guān)目標
5.2 性能評估
5.2.1 早期階段
5.2.2 WCET估算
5.2.3 實時微積分學(xué)
5.3 資源與功耗模型
5.4 熱模型
5.5 風險及可靠性分析
5.6 仿真
5.7 快速原型及仿真
5.8 形式驗證
5.9 思考題
第6章應(yīng)用程序映射
6.1 問題定義
6.2 實時系統(tǒng)中的調(diào)度
6.2.1 調(diào)度算法分類
6.2.2 沒有優(yōu)先級約束的非周期性調(diào)度
6.2.3 有優(yōu)先級約束的非周期性調(diào)度
6.2.4 沒有優(yōu)先級約束的周期調(diào)度
6.2.5 有優(yōu)先約束的周期調(diào)度
6.2.6 零散事件
6.3 硬件/軟件分割
6.3.1 簡介
6.3.2 COOL
6.4 映射至異構(gòu)多處理器
6.5 思考題
第7章優(yōu)化
7.1 任務(wù)級并發(fā)性管理
7.2 上層優(yōu)化
7.2.1 浮點至定點轉(zhuǎn)換
7.2.2 簡單循環(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 簡介
7.3.2 高效節(jié)能編譯
7.3.3 基于內(nèi)存架構(gòu)的編譯
7.3.4 調(diào)和編譯器以及時序分析
7.3.5 DSP編譯
7.3.6 多媒體處理器的編譯
7.3.7 用于VLIW處理器的編譯器
7.3.8 用于網(wǎng)絡(luò)處理器的編譯器
7.3.9 編譯器的產(chǎn)生、重定向以及設(shè)計空間的研究
7.4 電源管理以及溫度管理
7.4.1 動態(tài)電壓調(diào)節(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 可測試性設(shè)計
8.4.1 動機
8.4.2 掃描設(shè)計
8.4.3 特征分析
8.4.4 偽隨機測試模式生成
8.4.5 內(nèi)置邏輯塊觀測
8.5 思考題
附錄
附錄A 整數(shù)線性規(guī)劃
附錄B 基爾霍夫定律與運算放大器
參考文獻