近日，航天科工四院17所自主研制的基于DSP多核分區(qū)的東風微內(nèi)核操作系統(tǒng)經(jīng)過為期兩年的多輪靜態(tài)分析和形式化驗證工作，其V4.00版內(nèi)核功能滿足高安全、高可靠要求，并達到了GB/T 18336-2015《信息技術(shù) 安全技術(shù) 信息技術(shù)安全評估準則》要求，成功獲得了中國網(wǎng)絡(luò)安全審查技術(shù)與認證中心（CCRC，原中國信息安全認證中心）的CC EAL4+和EAL5+的雙重認證。
迄今為止，國內(nèi)自主研發(fā)的面向消費者或行業(yè)的操作系統(tǒng)能獲得的最高安全等級為CC EAL 5+，東風微內(nèi)核操作系統(tǒng)是繼華為、小米等企業(yè)后第五個獲得最高信息安全認證證書的軟件類產(chǎn)品，也是國內(nèi)首個通過CC EAL 5+認證的多核實時嵌入式微內(nèi)核操作系統(tǒng)，表明該操作系統(tǒng)的安全保障能力在國內(nèi)處于領(lǐng)先水平。
目前該操作系統(tǒng)已全面應(yīng)用于多個項目的軟件研制中，通過了多次試驗考核。該產(chǎn)品本次成功通過CC EAL4+和EAL5+認證，標志著產(chǎn)品成熟度、安全性進一步提升，為東風微內(nèi)核操作系統(tǒng)在軟件系統(tǒng)中的全面應(yīng)用奠定了堅實的基礎(chǔ)。后續(xù)，17所將持續(xù)圍繞系統(tǒng)應(yīng)用創(chuàng)新和生態(tài)需求，獲得更大的軟件技術(shù)突破，不斷提升系統(tǒng)軟件成熟度，進一步強化17所軟件技術(shù)領(lǐng)域的引領(lǐng)能力。
