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