實時系統(tǒng)設(shè)計與分析

前言
第1章 實時系統(tǒng)基礎(chǔ)
1.1 概念和誤解
1.2 多學(xué)科設(shè)計挑戰(zhàn)
1.3 實時系統(tǒng)的誕生與發(fā)展
1.4 總結(jié)
練習(xí)
參考文獻(xiàn)
第2章 實時系統(tǒng)的硬件
2.1 基本的處理器結(jié)構(gòu)
2.2 內(nèi)存技術(shù)
2.3 架構(gòu)上的進(jìn)步
2.4 外圍接口
2.5 微處理器與微控制器
2.6 分布式實時體系結(jié)構(gòu)
2.7 總結(jié)
練習(xí)
參考文獻(xiàn)
第3章 實時操作系統(tǒng)
3.1 從偽內(nèi)核到操作系統(tǒng)
3.2 調(diào)度的理論基礎(chǔ)
3.3 應(yīng)用程序的系統(tǒng)服務(wù)
3.4 內(nèi)存管理問題
3.5 選擇實時操作系統(tǒng)
3.6 總結(jié)
練習(xí)
參考文獻(xiàn)
第4章 實時系統(tǒng)的編程語言
4.1 實時軟件的編碼
4.2 匯編語言
4.3 程序語言
4.4 面向?qū)ο蟮恼Z言
4.5 編程語言概述
4.6 自動代碼生成
4.7 編譯器代碼優(yōu)化
4.8 總結(jié)
練習(xí)
參考文獻(xiàn)
第5章 需求工程方法論
5.1 實時系統(tǒng)的需求工程
5.2 系統(tǒng)規(guī)范中的形式化方法
5.3 系統(tǒng)規(guī)范中的半形式化方法
5.4 需求文檔
5.5 總結(jié)
練習(xí)
附錄 軟件需求規(guī)范中的案例研究
參考文獻(xiàn)
第6章 軟件設(shè)計方法
6.1 實時軟件的質(zhì)量
6.2 軟件工程原理