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

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