关键跨越, 电科太极普华微内核与虚拟化平台从“汽车”拓展至“飞机”

近日，电科太极普华基础软件自主研发的龘微内核及Type-1虚拟化软件平台，凭借卓越的高安全、高隔离与高实时能力，中标航空软件项目，标志着基础软件实现从“车规平台”延展至“航规场景”的关键跨越。

随着民用航空器自主创新进程加速，客舱信息系统作为现代民机乘客交互与服务的平台，经历着前所未有的深刻变革。

车载和机载系统在高安全等级场景下，对系统稳定性、隔离性、可认证性的要求有诸多相似之处，普华基础软件突破形式化建模与验证、Hypervisor资源访问轨迹追踪以及运行时安全隔离增强、混合关键级系统调度、多核处理器时空隔离以及多级健康监控等技术，构建满足航规严苛要求的实时运行环境，确保任务端到端执行的可预期性与极端状态下的快速恢复能力。

未来，普华基础软件将持续加大研发投入，深耕基础软件核心技术，为筑牢关键信息基础设施安全可靠防线提供坚实支撑。