电科太极普华微内核与虚拟化平台实现“汽车”到“飞机”关键跨越
来源：新闻中心
发布时间：2025年09月12日 编辑：新闻中心
近日，电科太极所属普华基础软件自主研发的龘微内核及Type-1虚拟化软件平台，凭借卓越的高安全、高隔离与高实时能力，成功中标国产航空软件项目。这一突破标志着国产基础软件实现了从“车规平台”延展至“航规场景”的关键跨越。
客舱信息系统作为乘客交互与服务的关键支撑平台，面临高安全等级、多系统隔离以及高实时保障等诸多技术挑战。基础软件作为底层核心支撑，其技术突破为破解产业难题提供了关键助力。
如今的客舱已远非简单的“屏幕显示+控制面板”，更像“空中智能座舱”。本质上，车载和机载系统在高安全等级场景下，对系统稳定性、隔离性、可认证性的要求有诸多相似之处，包括多OS共存，异构硬件资源调度，严格的功能安全与信息安全边界，实时性保障以及软件生命周期管理和审计可追溯等。正是这种核心诉求的共通性，促使普华基础软件将车规项目中打磨成熟的“微内核+Hypervisor”平台进行体系升级，向航空级应用场景拓展，推动其在安全计算领域持续突破。
车规平台转移至航规应用场景，绝非简单的代码移植，技术升级面临两大核心挑战。普华基础软件一方面突破形式化建模与验证、Hypervisor资源访问轨迹追踪以及运行时安全隔离增强等技术，为通过严格的适航认证打下坚实基础；另一方面突破了混合关键级系统调度、多核处理器时空隔离以及多级健康监控等技术，构建了满足航规严苛要求的实时运行环境，确保任务端到端执行的可预期性与极端状态下的快速恢复能力。
（来源/电科太极）
