-
>
闖進數學世界――探秘歷史名題
-
>
中醫基礎理論
-
>
當代中國政府與政治(新編21世紀公共管理系列教材)
-
>
高校軍事課教程
-
>
思想道德與法治(2021年版)
-
>
毛澤東思想和中國特色社會主義理論體系概論(2021年版)
-
>
中醫內科學·全國中醫藥行業高等教育“十四五”規劃教材
實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 版權信息
- ISBN:9787302590323
- 條形碼:9787302590323 ; 978-7-302-59032-3
- 裝幀:70g膠版紙
- 冊數:暫無
- 重量:暫無
- 所屬分類:>>
實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 本書特色
以“建模-設計-分析”為核心討論系統級設計方法。全書圍繞反應式、分布式和實時性等關鍵系統特征,以“構建正確”和“關注分離”等設計理念為核心,聚焦構件化、模型化設計方法。讓讀者深入理解實時嵌入式系統設計方法,夯實專業基礎,拓展專業視野,成就專業人才! 以系統級設計方法學為核心,融合多領域專業知識,面向安全關鍵系統核心人才培養。
實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 內容簡介
汽車電子、航空航天和醫療設備等安全關鍵應用系統以高度集成的實時嵌入式(RTE)系統為構造基礎。為了滿足此類應用的功能復雜性、時序可預測性和高可靠性等方面的嚴格要求,需要完整統一的系統設計、實現、驗證和分析方法。 實時嵌入式系統設計的論題非常廣泛,其核心科學基礎和方法涉及控制、計算機、軟件和電子等多個工程領域。本書從實時計算和設計自動化兩方面討論此類系統的系統級設計方法,主要涉及硬件架構、實時操作系統、實時任務調度與共享資源訪問控制、多處理器與分布式實時系統、實時嵌入式軟件設計(程序結構、編程模型、實時編程語言)、形式化方法(設計、建模、驗證)、建模語言與設計框架,以及常用的輔助設計工具等內容,涵蓋應用軟件、運行時環境和硬件系統結構等多個系統層次。書中綱要式地勾畫出基于構件化設計(CBD)和基于模型化設計(MBD)范式的系統設計方法的完整視圖和工程化開發過程的關鍵階段,并展現了學術界的z新研究成果和工業界的應用現狀。 本書面向計算機專業研究生或高年級本科生,需要讀者具備計算機工程、軟件工程、控制工程、電子工程等相關領域的基礎知識。
實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 目錄
目錄
第1章緒論
1.1實時嵌入式系統及其特征
1.1.1反應式系統
1.1.2實時系統
1.1.3安全關鍵系統
1.1.4混合關鍵系統
1.1.5分布式實時系統
1.2嵌入式系統設計過程與方法
1.2.1MBD方法
1.2.2CBD方法
1.2.3PBD方法
1.2.4IBD方法
1.2.5形式化方法
1.3計算模型、編程語言與軟件實現
1.4實時嵌入式系統設計方法存在的關鍵問題
1.5本書的組織結構
思考題
第2章實時嵌入式系統硬件架構
2.1微處理器/微控制器
2.1.1CortexM3體系結構
2.1.2XMOS處理器
2.1.3嵌入式處理器IP
2.1.4英飛凌AURIX微控制器
2.2存儲器
2.2.1SPM
2.2.2TCM
2.3定時與脈寬調制
2.3.1計數器與定時器
2.3.2脈寬調制器
2.4系統總線
2.4.1PCI總線
2.4.2PCIe總線
2.4.3AMBA總線
2.4.4MicroBlaze系統總線
2.5本章小結
思考題
第3章實時操作系統
3.1反應式內核
3.2系統服務
3.2.1任務管理
3.2.2任務互斥、同步、通信
3.2.3內存管理
3.2.4時間管理
3.2.5I/O管理
3.2.6異常與中斷管理
3.3RTOS主要性能指標和測試套
3.4典型的RTOS
3.4.1μC/OSⅡ
3.4.2FreeRTOS
3.4.3RTEMS
3.5RTOS標準
3.5.1POSIXRT標準
3.5.2OSEK/VDX標準
3.5.3AUTOSAR OS標準
3.5.4ARINC 653標準
3.6本章小結
思考題
第4章實時任務調度
4.1任務與作業
4.2任務約束
4.2.1事件時序約束模型
4.2.2任務時序約束模型
4.3任務調度
4.3.1任務調度器屬性
4.3.2調度算法分類
4.3.3處理器利用率
4.4調度算法
4.4.1時鐘驅動調度
4.4.2動態任務調度
4.4.3混合任務集調度
4.4.4優先約束任務調度
4.4.5模式切換
4.4.6基于釋放時間的調度
4.4.7有限搶占調度
4.4.8過載處理
4.5可調度性測試與分析
4.5.1EDD保證性測試
4.5.2EDF可調度性測試
4.5.3RM可調度性測試
4.5.4DM算法可調度性
4.5.5響應時間分析
4.6WCET估算
4.6.1影響程序執行時間的因素
4.6.2靜態WCET分析
4.7本章小結
思考題
第5章共享資源訪問控制
5.1互斥
5.2死鎖
5.2.1檢測算法
5.2.2恢復算法
5.2.3死鎖避免
5.2.4死鎖預防
5.2.5替代同步方法
5.3優先級反轉
5.3.1非搶占協議
5.3.2優先級繼承協議
5.3.3天花板優先級協議
5.3.4優先級天花板協議
5.3.5棧資源策略
5.3.6同步協議比較
5.4本章小結
思考題
第6章多處理器與分布式實時系統
6.1多處理器任務調度
6.1.1分區任務調度
6.1.2全局任務調度
6.1.3調度異常
6.2多處理器資源同步
6.2.1存儲模型
6.2.2鎖與互斥訪存
6.2.3多處理器互斥
6.3分布式資源同步
6.3.1分布式互斥
6.3.2分布式死鎖
6.4時鐘同步
6.4.1集中式時鐘同步
6.4.2分布式時鐘同步
6.5分布式實時系統整體調度
6.5.1端到端資源、任務與消息
6.5.2任務同步控制機制
6.5.3釋放抖動
6.5.4整體可調度性分析算法
6.6現場總線
6.6.1CAN總線
6.6.2CANopen總線
6.7通信網絡
6.7.1基本模型
6.7.2AFDX協議
6.7.3FlexRay協議
6.7.4TTP
6.7.5時間觸發體系結構
6.7.6時間觸發以太網
6.7.7無線傳感器網絡
6.8本章小結
思考題
第7章實時嵌入式軟件設計
7.1任務定義與劃分
7.1.1DARTS方法
7.1.2COMET方法
7.1.3任務時間預算
7.2嵌入式程序結構
7.2.1多任務協作
7.2.2主循環結構
7.3時序約束與編程模型
7.3.1時序約束與時鐘
7.3.2實時語言的時間語義
7.3.3實時編程模型
7.3.4程序語句級時序控制
7.4實時編程語言
7.4.1異步范式
7.4.2同步范式
7.5本章小結
思考題
第8章形式化方法
8.1系統級設計方法
8.1.1離散事件系統
8.1.2事件動作模型
8.1.3時間約束滿足問題
8.1.4抽象建模
8.1.5形式驗證
8.2離散行為建模與驗證
8.2.1狀態機模型
8.2.2數據流模型
8.2.3時態邏輯
8.2.4實時邏輯
8.2.5模型檢測驗證示例
8.2.6混成系統建模與驗證
8.3構件組合模型
8.3.1IOA與TIOA
8.3.2IA和TIA
8.3.3語義擴展
8.3.4模塊化性能分析
8.4精化與EventB方法
8.5本章小結
思考題
第9章體系結構建模語言與設計框架
9.1體系結構建模方法
9.2時間行為建模方法
9.2.1時間行為描述
9.2.2時間行為精化
9.3MARTE
9.3.1MARTE時間模型
9.3.2時間行為建模
9.3.3資源建模與模型分析
9.4CCSL
9.4.1時鐘約束
9.4.2時間約束分析
9.5AADL
9.5.1系統體系結構
9.5.2軟件和硬件構件定義
9.5.3特征分析
9.6BIP
9.6.1系統行為建模
9.6.2待驗證屬性的建模
9.6.3BIP工具集
9.7Ptolemy Ⅱ
9.8AUTOSAR
9.8.1AUTOSAR分層體系結構
9.8.2AUTOSAR軟件架構接口
9.8.3AUTOSAR開發流程
9.8.4AUTOSAR需求工程EASTADL2
9.8.5AUTOSAR時間擴展TIMEX
9.9本章小結
思考題
第10章RTES示例與輔助設計工具
10.1嵌入式控制系統
10.1.1控制器設計步驟
10.1.2PID控制器設計
10.2引擎管理系統
10.2.1汽車發動機工作原理
10.2.2基于AUTOSAR的EMS
10.2.3測試套EMSBench
10.3輔助設計工具
10.3.1代碼執行時間分析
10.3.2可調度性分析與仿真
10.3.3系統建模、設計與分析
10.4本章小結
參考文獻
實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 作者簡介
李曦,博士,中國科學技術大學教授級高級工程師,博導。長期主講本科生“計算機組成原理”和研究生“嵌入式系統設計方法”等課程。負責或參與國家自然基金、國家重點研發計劃等縱橫向科研項目30余項,承擔省部級教學研究課題多項。發表ACM/IEEE Transactions等高水平學術論文100余篇,持有相關技術專利多項。當前主要研究方向為高性能時間可預測體系結構。
- >
李白與唐代文化
- >
隨園食單
- >
二體千字文
- >
自卑與超越
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
有舍有得是人生
- >
小考拉的故事-套裝共3冊
- >
我從未如此眷戀人間