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