嵌入式系統(tǒng)導(dǎo)論：CPS方法（從CPS視角看嵌入式系統(tǒng)）

Introduction to Embedded Systems—A Cyber?Physical SystemsApproach
出版者的話
譯者序
前言
符號
第1章　緒論
　1.1　應(yīng)用
　1.2　一個實例
　1.3　設(shè)計過程
　　1.3.1　建模
　　1.3.2　設(shè)計
　　1.3.3　分析
　　1.4　小結(jié)
第一部分　　動態(tài)行為建模
　第2章　連續(xù)動態(tài)
　　2.1　牛頓力學(xué)
　　2.2　參量模型
　　2.3　系統(tǒng)的特性
　　　2.3.1　因果關(guān)系系統(tǒng)
　　　2.3.2　無記憶系統(tǒng)
　　　2.3.3　線性和時不變性
　　　2.3.4　穩(wěn)定性
　　2.4　反饋控制
　　2.5　小結(jié)
　　練習(xí)
　第3章　離散動態(tài)
　　3.1　離散系統(tǒng)
　　3.2　狀態(tài)的概念
　　3.3　有限狀態(tài)機(jī)
　　　3.3.1　轉(zhuǎn)移
　　　3.3.2　發(fā)生響應(yīng)時
　　　3.3.3　升級函數(shù)
　　　3.3.4　確定性和可接受性
　　3.4　擴(kuò)展?fàn)顟B(tài)機(jī)
　　3.5　非確定性
　　　3.5.1　形式化模型
　　　3.5.2　非確定性的用途
　　3.6　行為和軌跡
　　3.7　小結(jié)
　　練習(xí)
　第4章　混合系統(tǒng)
　　4.1　模態(tài)模型
　　　4.1.1　狀態(tài)機(jī)的參量模型
　　　4.1.2　連續(xù)輸入
　　　4.1.3　狀態(tài)精化
　　4.2　混合系統(tǒng)的分類
　　　4.2.1　時間自動機(jī)
　　　4.2.2　高階動態(tài)
　　　4.2.3　管理控制
　　4.3　小結(jié)
　　練習(xí)
　第5章　狀態(tài)機(jī)的組合
　　5.1　并發(fā)組合
　　　5.1.1　并列同步組合
　　　5.1.2　并列異步組合
　　　5.1.3　共享變量
　　　5.1.4　級聯(lián)組合
　　　5.1.5　通用組合
　　5.2　分層狀態(tài)機(jī)
　　5.3　小結(jié)
　　練習(xí)
　第6章　并發(fā)計算模型
　　6.1　模型結(jié)構(gòu)
　　6.2　同步響應(yīng)模型
　　　6.2.1　反饋模型
　　　6.2.2　形式規(guī)范和形式不規(guī)范模型
　　　6.2.3　構(gòu)建一個固定點
　　6.3　數(shù)據(jù)流計算模型
　　　6.3.1　數(shù)據(jù)流原理
　　　6.3.2　同步數(shù)據(jù)流
　　　6.3.3　動態(tài)數(shù)據(jù)流
　　　6.3.4　結(jié)構(gòu)化數(shù)據(jù)流
　　　6.3.5　進(jìn)程網(wǎng)絡(luò)
　　6.4　實時計算模型
　　　6.4.1　時間觸發(fā)模型
　　　6.4.2　離散事件系統(tǒng)
　　　6.4.3　連續(xù)時間系統(tǒng)
　　6.5　小結(jié)
　　練習(xí)
第二部分　嵌入式系統(tǒng)設(shè)計
　第7章　嵌入式處理器
　　7.1　處理器類型
　　　7.1.1　微控制器
　　　7.1.2　DSP處理器
　　　7.1.3　圖形處理器
　　7.2　并行處理
　　　7.2.1　并行處理與并發(fā)處理
　　　7.2.2　流水線
　　　7.2.3　指令級并行
　　　7.2.4　多核架構(gòu)
　　7.3　小結(jié)
　　練習(xí)
　第8章　存儲器架構(gòu)
　　8.1　存儲技術(shù)
　　　8.1.1　RAM
　　　8.1.2　非易失性存儲器
　　8.2　存儲器層次結(jié)構(gòu)
　　　8.2.1　存儲映射
　　　8.2.2　寄存器文件
　　　8.2.3　便簽式存儲器和高速緩沖存儲器
　　8.3　存儲模型
　　　8.3.1　存儲地址
　　　8.3.2　棧
　　　8.3.3　存儲器保護(hù)單元
　　　8.3.4　動態(tài)存儲分配
　　　8.3.5C　的存儲模型
　　8.4　小結(jié)
　　練習(xí)
　第9章　輸入和輸出
　　9.1　I/O硬件
　　　9.1.1　脈寬調(diào)制
　　　9.1.2　通用數(shù)字I/O
　　　9.1.3　串行接口
　　　9.1.4　并行接口
　　　9.1.5　總線
　　9.2　并發(fā)環(huán)境下的順序軟件
　　　9.2.1　中斷和異常
　　　9.2.2　原子性
　　　9.2.3　中斷控制器
　　　9.2.4　中斷建模
　　9.3　模擬/數(shù)字接口
　　　9.3.1　數(shù)模轉(zhuǎn)換和模數(shù)轉(zhuǎn)換
　　　9.3.2　信號調(diào)節(jié)
　　　9.3.3　采樣和走樣
　　9.4　小結(jié)
　　練習(xí)
　第10章　多任務(wù)處理
　　10.1　命令式程序
　　10.2　多線程
　　　10.2.1　創(chuàng)建線程
　　　10.2.2　實現(xiàn)多線程
　　　10.2.3　互斥
　　　10.2.4　死鎖
　　　10.2.5　存儲一致性模型
　　　10.2.6　多線程問題
　　10.3　進(jìn)程和消息傳遞
　　10.4　小結(jié)
　　練習(xí)
　第11章　調(diào)度
　　11.1　調(diào)度的基礎(chǔ)知識
　　　11.1.1　調(diào)度決策
　　　11.1.2　任務(wù)模型
　　　11.1.3　調(diào)度程序的比較
　　　11.1.4　調(diào)度程序的實現(xiàn)
　　11.2　單調(diào)速率調(diào)度
　　11.3　最早時限優(yōu)先
　　11.4　調(diào)度和互斥
　　　11.4.1　優(yōu)先級倒置
　　　11.4.2　優(yōu)先級繼承協(xié)議
　　　11.4.3　優(yōu)先級上限協(xié)議
　　11.5　多處理器調(diào)度
　　11.6　小結(jié)
　　練習(xí)
第三部分　分析和驗證
　第12章　不變量與時序邏輯
　　12.1　不變量
　　12.2　線性時序邏輯
　　　12.2.1　命題邏輯公式
　　　12.2.2　LTL公式
　　　12.2.3　LTL公式的應(yīng)用
　　12.3　小結(jié)
　　練習(xí)
　　第13章　等價與精化
　　13.1　規(guī)格建模
　　13.2　類型等價與類型精化
　　13.3　語言等價與包含
　　13.4　模擬
　　　13.4.1　模擬關(guān)系
　　　13.4.2　形式化模型
　　　13.4.3　傳遞性
　　　13.4.4　模擬關(guān)系的非唯一性
　　　13.4.5　模擬與語言包含
　　13.5　互模擬
　　13.6　小結(jié)
　　練習(xí)
　第14章　可到達(dá)性分析和模型檢測
　　14.1　開放式與封閉式系統(tǒng)
　　14.2　可到達(dá)性分析
　　　14.2.1　Gp驗證
　　　14.2.2　顯態(tài)模型檢測
　　　14.2.3　符號化模型檢測
　　14.3　模型檢測中的抽象
　　14.4　活躍屬性的模型檢測
　　　14.4.1　屬性的自動機(jī)表達(dá)
　　　14.4.2　尋找可接受循環(huán)
　　14.5　小結(jié)
　　練習(xí)
　第15章　定量分析
　　15.1　關(guān)注的問題
　　　15.1.1　極限分析
　　　15.1.2　閾值分析
　　　15.1.3　一般情況分析
　　15.2　程序圖
　　　15.2.1　基本塊
　　　15.2.2　控制流圖
　　　15.2.3　函數(shù)調(diào)用
　　15.3　執(zhí)行時間的決定因素
　　　15.3.1　循環(huán)界限
　　　15.3.2　指數(shù)的路徑空間
　　　15.3.3　路徑的可行性
　　　15.3.4　存儲層次
　　15.4　執(zhí)行時間分析的基礎(chǔ)
　　　15.4.1　最優(yōu)化問題的形式化
　　　15.4.2　邏輯流約束
　　　15.4.3　基本塊的界限
　　15.5　其他定量分析問題
　　　15.5.1　存儲界限分析
　　　15.5.2　能耗和功耗分析
　　15.6　小結(jié)
　　練習(xí)
第四部分　附錄
附錄A集合和函數(shù)
附錄B復(fù)雜度和可計算性理論
參考書目