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

定　價：￥108.00

作　者：	（美）菲利普·A.拉普朗特，（芬）塞波·J.奧瓦斯卡
出版社：	中國科學(xué)技術(shù)大學(xué)出版社
叢編項：
標　簽：	暫缺

購買這本書可以去

當當網(wǎng) (￥75.60)

ISBN：	9787312056703	出版時間：	2023-06-01	包裝：	平裝
開本：	16開	頁數(shù)：	400	字數(shù)：

內(nèi)容簡介

　　在實時系統(tǒng)中，及時性是系統(tǒng)正確性的關(guān)鍵。實時軟件設(shè)計人員必須熟悉計算機體系架構(gòu)和組織、操作系統(tǒng)和相關(guān)服務(wù)、編程語言、系統(tǒng)和軟件工程以及性能分析和優(yōu)化技術(shù)。本書從實時系統(tǒng)設(shè)計人員的角度對這些主題進行了務(wù)實的討論。本書適合計算機科學(xué)、計算機工程和電氣工程專業(yè)的高年級本科生和研究生以及實踐軟件、系統(tǒng)和計算機工程師使用。如果輔以讀物或針對特定主題的精選的學(xué)術(shù)文章（可以從本書提供的參考書目中收集），則也可以用作研究生水平的教材。本書對于在工業(yè)環(huán)境中需要快速“上手”的新的實時系統(tǒng)設(shè)計人員特別有用。本書所載的內(nèi)容已經(jīng)應(yīng)用于工業(yè)客戶短期課程的教學(xué)中。，我們希望本書能夠成為具有長期價值的案頭參考書，甚至對于經(jīng)驗豐富的實時系統(tǒng)設(shè)計師和項目經(jīng)理來說也是如此。本書的每一章都包含有簡單的和具挑戰(zhàn)性的練習(xí)，以激發(fā)讀者對實際問題的興趣。然而，這些練習(xí)不能替代精心規(guī)劃的實驗室工作或?qū)嵺`經(jīng)驗。

作者簡介

暫缺《實時系統(tǒng)設(shè)計與分析》作者簡介

圖書目錄

前言
第1章實時系統(tǒng)基礎(chǔ)
1.1 概念和誤解
1.2 多學(xué)科設(shè)計挑戰(zhàn)
1.3 實時系統(tǒng)的誕生與發(fā)展
1.4 總結(jié)
練習(xí)
參考文獻
第2章實時系統(tǒng)的硬件
2.1 基本的處理器結(jié)構(gòu)
2.2 內(nèi)存技術(shù)
2.3 架構(gòu)上的進步
2.4 外圍接口
2.5 微處理器與微控制器
2.6 分布式實時體系結(jié)構(gòu)
2.7 總結(jié)
練習(xí)
參考文獻
第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í)
參考文獻
第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í)
參考文獻
第5章需求工程方法論
5.1 實時系統(tǒng)的需求工程
5.2 系統(tǒng)規(guī)范中的形式化方法
5.3 系統(tǒng)規(guī)范中的半形式化方法
5.4 需求文檔
5.5 總結(jié)
練習(xí)
附錄軟件需求規(guī)范中的案例研究
參考文獻
第6章軟件設(shè)計方法
6.1 實時軟件的質(zhì)量
6.2 軟件工程原理