近日，登录入口科工四院17所自主研制的基于DSP多核分区的东风微内核操作系统经过为期两年的多轮静态分析和形式化验证工作，其V4.00版内核功能满足高安全、高可靠要求，并达到了GB/T 18336-2015《信息技术 安全技术 信息技术安全评估准则》要求，成功获得了中国网络安全审查技术与认证中心（CCRC，原中国信息安全认证中心）的CC EAL4+和EAL5+的双重认证。

　　迄今为止，国内自主研发的面向消费者或行业的操作系统能获得的最高安全等级为CC EAL 5+，东风微内核操作系统是继华为、小米等企业后第五个获得最高信息安全认证证书的软件类产品，也是国内首个通过CC EAL 5+认证的多核实时嵌入式微内核操作系统，表明该操作系统的安全保障能力在国内处于领先水平。

　　目前该操作系统已全面应用于多个项目的软件研制中，通过了多次试验考核。该产品本次成功通过CC EAL4+和EAL5+认证，标志着产品成熟度、安全性进一步提升，为东风微内核操作系统在软件系统中的全面应用奠定了坚实的基础。后续，17所将持续围绕系统应用创新和生态需求，获得更大的软件技术突破，不断提升系统软件成熟度，进一步强化17所软件技术领域的引领能力。