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

定　價：￥108.00

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

購買這本書可以去

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

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

內(nèi)容簡介

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

作者簡介

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

圖書目錄

前言
第1章實(shí)時系統(tǒng)基礎(chǔ)
1.1 概念和誤解
1.2 多學(xué)科設(shè)計挑戰(zhàn)
1.3 實(shí)時系統(tǒng)的誕生與發(fā)展
1.4 總結(jié)
練習(xí)
參考文獻(xiàn)
第2章實(shí)時系統(tǒng)的硬件
2.1 基本的處理器結(jié)構(gòu)
2.2 內(nèi)存技術(shù)
2.3 架構(gòu)上的進(jìn)步
2.4 外圍接口
2.5 微處理器與微控制器
2.6 分布式實(shí)時體系結(jié)構(gòu)
2.7 總結(jié)
練習(xí)
參考文獻(xiàn)
第3章實(shí)時操作系統(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 選擇實(shí)時操作系統(tǒng)
3.6 總結(jié)
練習(xí)
參考文獻(xiàn)
第4章實(shí)時系統(tǒng)的編程語言
4.1 實(shí)時軟件的編碼
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 實(shí)時系統(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 實(shí)時軟件的質(zhì)量
6.2 軟件工程原理