邊緣高可靠實(shí)時操作系統(tǒng)2一、邊緣高可靠實(shí)時操作系統(tǒng)需求二、邊緣實(shí)時操作系統(tǒng)發(fā)展現(xiàn)狀三、邊緣高可靠實(shí)時操作系統(tǒng)的設(shè)計四、邊緣高可靠實(shí)時操作系統(tǒng)的驗(yàn)證平臺五、實(shí)驗(yàn)室目標(biāo)和現(xiàn)有成果3一、邊緣高可靠實(shí)時操作系統(tǒng)需求二、邊緣實(shí)時操作系統(tǒng)發(fā)展現(xiàn)狀三、邊緣高可靠實(shí)時操作系統(tǒng)的設(shè)計四、邊緣高可靠實(shí)時操作系統(tǒng)的驗(yàn)證平臺五、實(shí)驗(yàn)室目標(biāo)和現(xiàn)有成果4邊緣計算

+

強(qiáng)實(shí)時

+

高可靠

邊緣高可靠實(shí)時操作系統(tǒng)

滿足功能性需求

滿足非功能性需求（即時間的嚴(yán)格限制）

5邊緣計算

+

強(qiáng)實(shí)時

+

高可靠

邊緣高可靠實(shí)時操作系統(tǒng)

可預(yù)測性實(shí)時操作系統(tǒng)6硬件設(shè)計的投機(jī)機(jī)制

緩存

流水線

分支系統(tǒng)設(shè)計的并發(fā)機(jī)制7一、邊緣高可靠實(shí)時操作系統(tǒng)需求二、邊緣實(shí)時操作系統(tǒng)發(fā)展現(xiàn)狀三、邊緣高可靠實(shí)時操作系統(tǒng)的設(shè)計四、邊緣高可靠實(shí)時操作系統(tǒng)的驗(yàn)證平臺五、實(shí)驗(yàn)室目標(biāo)和現(xiàn)有成果

OSELynxOSμITRONQNXRTAIVRTXVxWorksWin-CE任務(wù)調(diào)度可搶占，周期性可搶占，固定優(yōu)先級可搶占，固定優(yōu)先級可搶占，固定優(yōu)先級可搶占，固定優(yōu)先級可搶占，固定優(yōu)先級可搶占，固定優(yōu)先級可搶占，固定優(yōu)先級優(yōu)先級數(shù)32≥256-322562568同步機(jī)制信號信號量、條件變量、信號隊列信號量、事件標(biāo)識、郵箱信號量、消息傳遞FIFO隊列信號量可搶占的鎖臨界區(qū)事件、互斥同步協(xié)議無PIP無PIP無PIPHLPPIP中斷服務(wù)中斷進(jìn)程可搶占的中斷處理與實(shí)現(xiàn)具體相關(guān)可搶占的中斷處理8259RTHAL可搶占的中斷處理上下文相關(guān)服務(wù)線程中斷嵌套支持支持支持不支持不支持支持支持不支持通信機(jī)制信號，共享內(nèi)存消息隊列，管道，Socket共享內(nèi)存郵箱，數(shù)據(jù)隊列消息，管道，隊列，SocketFIFO，共享內(nèi)存消息，隊列，管道，Socket，共享內(nèi)存消息，隊列，管道，Socket，共享內(nèi)存，RPC共享內(nèi)存虛擬內(nèi)存分段頁機(jī)制不支持支持不支持支持可選分段動態(tài)分配內(nèi)存池支持內(nèi)存池支持不支持支持支持支持89

EdgeOSH面向智能家居

機(jī)器人操作系統(tǒng)

（ROS）

EdgeOSv面向網(wǎng)聯(lián)車任務(wù)優(yōu)先級不可預(yù)知性

間最小化保證截止時間優(yōu)先級翻

轉(zhuǎn)任務(wù)阻塞

保證任務(wù)調(diào)

度的公平性

鎖

響

時

任務(wù)對資源

需求隨機(jī)性任務(wù)執(zhí)行前導(dǎo)致需求

1011

現(xiàn)有實(shí)時操作系統(tǒng)不能滿足可預(yù)測性保證任務(wù)運(yùn)行時與其設(shè)計時的語義

(

包括功能語義和時序

語義

)

的一致性

輸入

/

輸出行為的可預(yù)測性任務(wù)行為的可預(yù)測性12突破通用操作系統(tǒng)的分時共享的思想，尋找新的操作系

統(tǒng)原型

發(fā)展新的實(shí)時進(jìn)程的模型著重強(qiáng)調(diào)可預(yù)測性，不僅僅強(qiáng)調(diào)內(nèi)核的可預(yù)測性，而且

為用戶層的應(yīng)用程序提供可預(yù)測性支持

提出新的運(yùn)行時間估計和分析的方法

發(fā)展新的具有可預(yù)測性的同步機(jī)制

保證運(yùn)行時系統(tǒng)能夠執(zhí)行應(yīng)用程序的語義13一、邊緣高可靠實(shí)時操作系統(tǒng)需求二、邊緣實(shí)時操作系統(tǒng)發(fā)展現(xiàn)狀三、邊緣高可靠實(shí)時操作系統(tǒng)的設(shè)計四、邊緣高可靠實(shí)時操作系統(tǒng)的驗(yàn)證平臺五、實(shí)驗(yàn)室目標(biāo)和現(xiàn)有成果14基于面向服務(wù)的思想提出新型的服務(wù)體

/

執(zhí)行流操作系統(tǒng)模型克服基于線程模型的操作系統(tǒng)的存儲瓶頸以及實(shí)時缺陷兩個問題15服

務(wù)

體

/

執(zhí)

行

流

的

抽

象

為

建

立

可

預(yù)

測

系

統(tǒng)

提

供

了

良

好

的

抽象：1

）

服

務(wù)

體

和

執(zhí)

行

流

實(shí)

現(xiàn)

了

計

算

和

存

儲

的

分

離

以

及

數(shù)

據(jù)

流和控制流的分離；2

）

服

務(wù)

體

是

代

碼

實(shí)

現(xiàn)

的

基

本

單

元

；3

）

執(zhí)

行

流

是

物

理

計

算

單

元

的

抽

象

。16提出基于可預(yù)測的服務(wù)體

/

執(zhí)行流模型的實(shí)時操作系統(tǒng)框架17實(shí)時操作系統(tǒng)基本服務(wù)對比18一、邊緣高可靠實(shí)時操作系統(tǒng)需求二、邊緣實(shí)時操作系統(tǒng)發(fā)展現(xiàn)狀三、邊緣高可靠實(shí)時操作系統(tǒng)的設(shè)計四、邊緣高可靠實(shí)時操作系統(tǒng)的驗(yàn)證平臺五、實(shí)驗(yàn)室目標(biāo)和現(xiàn)有成果192021功能測試

1—

手柄控制功能功能測試

2—

自主導(dǎo)航功能22功能測試

3—

定點(diǎn)停車功能23性能測試

1—

負(fù)載測試24性能測試

2—

系統(tǒng)可預(yù)測性測試25一、邊緣高可靠實(shí)時操作系統(tǒng)需求二、邊緣實(shí)時操作系統(tǒng)發(fā)展現(xiàn)狀三、邊緣高可靠實(shí)時操作系統(tǒng)的設(shè)計四、邊緣高可靠實(shí)時操作系統(tǒng)的驗(yàn)證平臺五、實(shí)驗(yàn)室目標(biāo)和現(xiàn)有成果2627

國產(chǎn)自主可控

豐富外部接口

低功耗快速定制

28支持多種模型

高性能

29p

基于

國產(chǎn)智能芯片（創(chuàng)智1

號

）

的智能板卡及計算機(jī)關(guān)鍵模塊型號交換機(jī)H3CLS-7506E-V互聯(lián)以太網(wǎng)測試節(jié)點(diǎn)100個自制單機(jī)單卡計算機(jī)Master節(jié)點(diǎn)惠普UPS伊頓3031在智能云平臺上成功部署如下示范應(yīng)用：1、道路監(jiān)控、物體識別、人臉識別、風(fēng)格遷移4個實(shí)際應(yīng)用。2、LeNet、AlexNet