北航新闻网12月2日电（通讯员 曲乐）11月17日上午，CCF中国软件大会“工业嵌入式基础软件”专题论坛在陕西省西安市高新国际会议中心兴隆厅举办。论坛由北航软件学院院长胡春明、计算机学院软件学院双聘教授牛建伟和中国航空工业集团公司西安航空计算技术研究所崔西宁研究员共同主持。业界从事科研和产品研发的共300余名专家学者线上和线下出席了论坛交流。

论坛邀请了嵌入式系统联谊会何小庆秘书长、华东计算技术研究所邓畅研究员、中国航空工业集团公司西安航空计算技术研究所周霆研究员、北航牛建伟教授、上海交通大学薛栋梁副研究员、华为技术有限公司技术专家陈辉博士和望安科技形式化验证技术与工具平台负责人章乐平做了7场专题报告，内容涉及国产嵌入式操作系统产业生态、嵌入式基础软件的发展、嵌入式操作系统应用场景、智能工业机器人领域的嵌入式操作系统发展、工业场景中的泛在操作系统、混合关键性工业系统、嵌入式系统中的关键软硬件形式化验证与安全认证等。

何小庆围绕嵌入式操作系统产业生态展开深入探讨，系统梳理了国内外嵌入式操作系统的发展历程与现状，分析了中外嵌入式操作系统的差异，并分享了他对国产嵌入式操作系统发展模式与路径的深刻思考，为产业发展提供了宝贵的见解和参考。陈辉重点介绍了面向嵌入式场景的openEuler版本——openEulerEmbedded。他提出了欧拉与鸿蒙深度结合，共同打造数字全场景基础软件底座的愿景，并明确了二者在系统架构上的结合方向，进一步阐释了这一结合在具体场景中的应用与目标，及其在一机多域、高性能、强实时性和强交互协同计算方面的显著优势。邓畅介绍了嵌入式系统体系结构演变及其关键技术问题，指出嵌入式软件的发展需求是综合化、服务化、网络化和智能化。他详细介绍了自研国产混合异构嵌入式操作系统——锐华嵌入式操作系统的软件架构，重点讨论了虚拟化底座、智能化支持、高安全属性、混合关键部署等特点及其在复杂电子装备等领域的应用实践，并展示了其在生态建设与行业应用中的引领作用。周霆围绕无人机/无人集群自主作业、有人/无人机体系协同等快闭环智能处理场景，重点分析了端侧实时混合智能处理的场景需求，介绍了混合关键隔离架构、嵌入式云原生、一体化智能计算服务、内生可信等支撑技术的国内外研究现状，给出了支持混合关键智能处理的嵌入式操作系统能力特征和架构定义，并对关键技术的解决思路进行了分析和探讨。牛建伟以智能机器人应用为切入点，深入探讨嵌入式操作系统的应用前景。他介绍了智能机器人的组成与发展现状，分析了当前嵌入式操作系统在智能机器人应用中面临的主要挑战。重点讲解了大语言模型协同、三维场景感知建图、智能体自主导航规划等基于智能机器人操作系统的具身智能技术，并对混合部署的嵌入操作系统在智能工业机器人领域的应用做出展望。薛栋梁结合工业泛在计算场景，深入分析当前工业领域中宏内核架构操作系统所面临的挑战，提出微内核架构作为解决方案的优势。他详细介绍了基于矽璓微内核的操作系统软硬件架构，展示了其在智能终端中的实际应用及其在工业场景中的实践成果。章乐平报告了关键软硬件的形式化验证与高安全级认证这一主题，指出了形式化验证应用于高安全级认证中的难点问题，介绍了望安科技针对这些问题推出的工具，重点讨论了这些工具中所涉及的核心技术以及如何应用于高安全级认证过程中，最后分别展示了工具在航空航天、汽车、轨道交通等软硬件关键领域的应用以及产生的效果。

嵌入式系统的发展正不断推动数字化、智能化进程，但依然面临架构优化、生态建设和多场景适配等诸多挑战。本次论坛全面覆盖了国产嵌入式操作系统的发展模式、工业和智能领域的操作系统应用、关键技术挑战与解决路径等热点话题。与会专家系统梳理了嵌入式操作系统的历史与现状，分析了不同应用场景中的需求特性，提出了适应未来智能化、网络化发展的架构设计与技术方案，为国产嵌入式操作系统在工业、智能机器人、航天等领域的突破提供了重要启示。

（审核：庄岩）

编辑：贾爱平