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