中图网(原中国图书网):网上书店,尾货特色书店,30万种特价书低至2折!

歡迎光臨中圖網 請 | 注冊
> >>
實時嵌入式系統設計方法(高等學校軟件工程專業系列教材)

包郵 實時嵌入式系統設計方法(高等學校軟件工程專業系列教材)

作者:李曦
出版社:清華大學出版社出版時間:2021-12-01
開本: 16開 頁數: 312
本類榜單:教材銷量榜
中 圖 價:¥36.9(6.2折) 定價  ¥59.8 登錄后可看到會員價
加入購物車 收藏
開年大促, 全場包郵
?新疆、西藏除外
本類五星書更多>

實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 版權信息

實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 本書特色

以“建模-設計-分析”為核心討論系統級設計方法。全書圍繞反應式、分布式和實時性等關鍵系統特征,以“構建正確”和“關注分離”等設計理念為核心,聚焦構件化、模型化設計方法。讓讀者深入理解實時嵌入式系統設計方法,夯實專業基礎,拓展專業視野,成就專業人才! 以系統級設計方法學為核心,融合多領域專業知識,面向安全關鍵系統核心人才培養。

實時嵌入式系統設計方法(高等學校軟件工程專業系列教材) 內容簡介

汽車電子、航空航天和醫療設備等安全關鍵應用系統以高度集成的實時嵌入式(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.1CortexM3體系結構


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.1POSIXRT標準


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精化與EventB方法


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需求工程EASTADL2


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余篇,持有相關技術專利多項。當前主要研究方向為高性能時間可預測體系結構。

商品評論(0條)
暫無評論……
書友推薦
本類暢銷
返回頂部
中圖網
在線客服
主站蜘蛛池模板: 压接机|高精度压接机|手动压接机|昆明可耐特科技有限公司[官网] 胶泥瓷砖胶,轻质粉刷石膏,嵌缝石膏厂家,腻子粉批发,永康家德兴,永康市家德兴建材厂 | 世界箱包品牌十大排名,女包小众轻奢品牌推荐200元左右,男包十大奢侈品牌排行榜双肩,学生拉杆箱什么品牌好质量好 - Gouwu3.com | 欧美日韩国产一区二区三区不_久久久久国产精品无码不卡_亚洲欧洲美洲无码精品AV_精品一区美女视频_日韩黄色性爱一级视频_日本五十路人妻斩_国产99视频免费精品是看4_亚洲中文字幕无码一二三四区_国产小萍萍挤奶喷奶水_亚洲另类精品无码在线一区 | 水厂自动化|污水处理中控系统|水利信息化|智慧水务|智慧农业-山东德艾自动化科技有限公司 | 清水-铝合金-建筑模板厂家-木模板价格-铝模板生产「五棵松」品牌 | 集装箱箱号识别_自重载重图像识别_铁路车号自动识别_OCR图像识别 | 上海皓越真空设备有限公司官网-真空炉-真空热压烧结炉-sps放电等离子烧结炉 | 电动卫生级调节阀,电动防爆球阀,电动软密封蝶阀,气动高压球阀,气动对夹蝶阀,气动V型调节球阀-上海川沪阀门有限公司 | ph计,实验室ph计,台式ph计,实验室酸度计,台式酸度计 | 真空吸污车_高压清洗车厂家-程力专用汽车股份有限公司官网 | 传爱自考网_传爱自学考试网| 重庆网站建设,重庆网站设计,重庆网站制作,重庆seo,重庆做网站,重庆seo,重庆公众号运营,重庆小程序开发 | 珠海白蚁防治_珠海灭鼠_珠海杀虫灭鼠_珠海灭蟑螂_珠海酒店消杀_珠海工厂杀虫灭鼠_立净虫控防治服务有限公司 | 快速门厂家-快速卷帘门-工业快速门-硬质快速门-西朗门业 | CNC机加工-数控加工-精密零件加工-ISO认证厂家-鑫创盟 | 低噪声电流前置放大器-SR570电流前置放大器-深圳市嘉士达精密仪器有限公司 | 仓储笼_仓储货架_南京货架_仓储货架厂家_南京货架价格低-南京一品仓储设备制造公司 | 便民信息网_家电维修,家电清洗,开锁换锁,本地家政公司 | 吸污车_吸粪车_抽粪车_电动三轮吸粪车_真空吸污车_高压清洗吸污车-远大汽车制造有限公司 | 博医通医疗器械互联网供应链服务平台_博医通 | 西点培训学校_法式西点培训班_西点师培训_西点蛋糕培训-广州烘趣西点烘焙培训学院 | 家乐事净水器官网-净水器厂家「官方」| 南京办公用品网-办公文具用品批发-打印机耗材采购 | 通风气楼_通风天窗_屋顶风机-山东美创通风设备有限公司 | 留学生辅导网-在线课程论文辅导-留学生挂科申诉机构 | 没斑啦-专业的祛斑美白嫩肤知识网站-去斑经验分享 | 广州中央空调回收,二手中央空调回收,旧空调回收,制冷设备回收,冷气机组回收公司-广州益夫制冷设备回收公司 | 理化生实验室设备,吊装实验室设备,顶装实验室设备,实验室成套设备厂家,校园功能室设备,智慧书法教室方案 - 东莞市惠森教学设备有限公司 | 艾默生变频器,艾默生ct,变频器,ct驱动器,广州艾默生变频器,供水专用变频器,风机变频器,电梯变频器,艾默生变频器代理-广州市盟雄贸易有限公司官方网站-艾默生变频器应用解决方案服务商 | 天津蒸汽/热水锅炉-电锅炉安装维修直销厂家-天津鑫淼暖通设备有限公司 | 赛默飞Thermo veritiproPCR仪|ProFlex3 x 32PCR系统|Countess3细胞计数仪|371|3111二氧化碳培养箱|Mirco17R|Mirco21R离心机|仟诺生物 | 贴片电容代理-三星电容-村田电容-风华电容-国巨电容-深圳市昂洋科技有限公司 | 家乐事净水器官网-净水器厂家「官方」| 高扬程排污泵_隔膜泵_磁力泵_节能自吸离心水泵厂家-【上海博洋】 | 仓储货架_南京货架_钢制托盘_仓储笼_隔离网_环球零件盒_诺力液压车_货架-南京一品仓储设备制造公司 | 工作服定制,工作服定做,工作服厂家-卡珀职业服装(苏州)有限公司 | 神超官网_焊接圆锯片_高速钢锯片_硬质合金锯片_浙江神超锯业制造有限公司 | 反渗透阻垢剂-缓蚀阻垢剂厂家-循环水处理药剂-山东鲁东环保科技有限公司 | 一体化污水处理设备,一体化污水设备厂家-宜兴市福源水处理设备有限公司 | 氢氧化钙设备, 氢氧化钙生产线-淄博惠琛工贸有限公司 | 英国公司注册-新加坡公司注册-香港公司开户-离岸公司账户-杭州商标注册-杭州优创企业 |