實時嵌入式系統(tǒng)

出版者的話
譯者序
前言
第1章 實時嵌入式系統(tǒng)簡介
1．1 實時嵌入式系統(tǒng)
1．2 示例：汽車防抱死制動系統(tǒng)
1．2．1 側滑率和制動力
1．2．2 ABS部件
1．2．3 ABS控制
1．3 實時嵌入式系統(tǒng)的特性
1．3．1 系統(tǒng)結構
1．3．2 實時響應
1．3．3 高度制約的環(huán)境
1．3．4 并發(fā)性
1．3．5 可預測性
1．3．6 安全性和可靠性
1．4 硬實時嵌入式系統(tǒng)和軟實時嵌入式系統(tǒng)
習題
閱讀建議
參考文獻
第2章 硬件組件
2．1 處理器
2．1．1 微處理器
2．1．2 微控制器
2．1．3 專用集成電路
2．1．4 現(xiàn)場可編程門陣列
2．1．5 數(shù)字信號處理器
2．1．6 專用指令集處理器
2．1．7 多核處理器
2．1．8 馮·諾依曼結構和哈佛結構
2．1．9 復雜指令集計算機和精簡指令集計算機
2．2 存儲器和高速緩存
2．2．1 只讀存儲器
2．2．2 隨機訪問存儲器
2．2．3 高速緩存
2．3 I/O接口
2．4 傳感器和執(zhí)行器
2．5 定時器和計數(shù)器
習題
閱讀建議
參考文獻
第3章 實時操作系統(tǒng)
3．1 通用操作系統(tǒng)的主要功能
3．1．1 進程管理
3．1．2 內存管理
3．1．3 中斷管理
3．1．4 多任務
3．1．5 文件管理
3．1．6 I/O管理
3．2 RTOS內核的特性
3．2．1 時鐘和定時器
3．2．2 優(yōu)先級調度
3．2．3 任務間通信和資源共享
3．2．4 異步I/O
3．2．5 內存鎖定
3．3 RTOS示例
3．3．1 LynxOS
3．3．2 OSE
3．3．3 QNX
3．3．4 VxWorks
3．3．5 Windows Embedded Compact
習題
閱讀建議
參考文獻
URL
第4章 任務調度
4．1 任務
4．1．1 任務說明
4．1．2 任務狀態(tài)
4．1．3 優(yōu)先約束
4．1．4 任務分配與調度
4．2 時鐘驅動調度
4．2．1 結構化時鐘驅動調度
4．2．2 調度非周期任務
4．2．3 調度偶發(fā)任務
4．3 輪詢方法
4．4 基于優(yōu)先級的調度算法
4．4．1 固定優(yōu)先級算法
4．4．2 動態(tài)優(yōu)先級算法
4．4．3 非周期和偶發(fā)任務的基于優(yōu)先級調度
4．4．4 實際因素
4．5 任務分配
4．5．1 裝箱算法
4．5．2 考慮通信成本的分配
習題
閱讀建議
參考文獻
第5章 資源共享與訪問控制
5．1 資源共享
5．1．1 資源操作
5．1．2 資源請求描述
5．1．3 優(yōu)先級反轉和死鎖
5．1．4 資源訪問控制
5．2 非搶占的臨界區(qū)協(xié)議
5．3 優(yōu)先級繼承協(xié)議
5．3．1 優(yōu)先級繼承協(xié)議的規(guī)則
5．3．2 優(yōu)先級繼承協(xié)議的特性
5．4 優(yōu)先級上限協(xié)議
5．4．1 優(yōu)先級上限協(xié)議的規(guī)則
5．4．2 優(yōu)先級上限協(xié)議的特性
5．4．3 壞情況的阻塞時間
5．5 堆棧共享優(yōu)先級上限協(xié)議
5．5．1 堆棧共享優(yōu)先級上限協(xié)議的規(guī)則
5．5．2 堆棧共享優(yōu)先級上限協(xié)議的特性
習題
閱讀建議
參考文獻
第6章 并發(fā)編程
6．1 簡介
6．2 POSIX線程
6．3 同步機制
6．3．1 競爭條件和臨界區(qū)
6．3．2 互斥
6．3．3 條件變量
6．3．4 信號量
6．4 任務間通信
6．4．1 消息隊列
6．4．2 共享內存
6．4．3 共享內存保護
6．5 實時設施
6．5．1 實時信號
6．5．2 定時器
6．5．3 周期任務的實現(xiàn)
6．5．4 多周期任務的實現(xiàn)
習題
閱讀建議
參考文獻
第7章 有限狀態(tài)機
7．1 有限狀態(tài)機基礎
7．2 確定性有限自動機
7．2．1 Moore機
7．2．2 Mealy機
7．3 非確定性有限自動機
7．4 有限狀態(tài)機的編程
習題
閱讀建議
參考文獻
第8章 UML狀態(tài)機
8．1 狀態(tài)
8．2 轉移
8．3 事件
8．4 復合狀態(tài)
8．4．1 層次結構
8．4．2 正交性
8．4．3 子狀態(tài)機狀態(tài)
8．5 偽狀態(tài)
8．5．1 歷史偽狀態(tài)
8．5．2 進入點和退出點
8．5．3 分叉和匯入偽狀態(tài)
8．5．4 終止偽狀態(tài)
8．6 ABS的UML狀態(tài)機
習題
閱讀建議
參考文獻
第9章 時間Petri網
9．1 Petri網定義
9．1．1 變遷激發(fā)
9．1．2 建模能力
9．2 Petri網屬性
9．2．1 行為屬性
9．2．2 結構屬性
9．3 時間Petri網
9．3．1 確定性時間Petri網
9．3．2 時間Petri網
習題
閱讀建議
參考文獻
第10章 模型檢查
10．1 模型檢查簡介
10．2 時序邏輯
10．2．1 線性時序邏輯
10．2．2 計算樹邏輯
10．2．3 LTL與CTL的比較
10．3 模型檢查工具NuSMV
10．3．1 描述語言
10．3．2 格式
10．3．3 運行NuSMV
10．4 實時計算樹邏輯
習題
閱讀建議
參考文獻
第11章 實際問題
11．1 軟件可靠性
11．1．1 軟件
11．1．2 可靠性測量
11．1．3 提高軟件的可靠性
11．2 軟件老化和重啟
11．3 信息安全性
11．3．1 挑戰(zhàn)
11．3．2 常見漏洞
11．3．3 信息安全軟件設計
11．4 安全性
11．5 節(jié)電
閱讀建議
參考文獻