CCF软件大会2026|智能嵌入式系统基础软件论坛

二、论坛组织委员会

• 牛建伟　　（教授 北京航空航天大学）

• 崔西宁　　（研究员 中国航空工业集团公司西安航空计算技术研究所）

• 田晖　　　（教授 华侨大学）

三、论坛安排

日程安排：

时间：2026年11月6日，14:00~16:55

地点：天津市社会山国际会议中心酒店，三层1号多功能厅

论坛议程：

四、论坛报告嘉宾简介

1. 报告人：王博  中国兵器工业计算机应用技术研究所

题目：强对抗环境下智能车载嵌入式基础软件挑战与实践

摘要：本报告聚焦强对抗环境下智能车载嵌入式基础软件的关键挑战与工程实践。随着具身智能与端侧大模型加速上车，车载基础软件面临通信拒止、高动态、资源受限与实时性严苛等多重约束。报告围绕操作系统、运行时环境、中间件及端侧推理框架等层面，分享强对抗场景下的落地实践，并探讨车-机协同趋势下嵌入式基础软件栈的演进方向与开放挑战。

简介：王博，中国兵器工业计算机应用技术研究所车电部副主任、研究员，CCF抗恶劣环境计算机专委会执行委员。主要研究方向为车辆综合电子系统、通用电子平台系统、国产基础软硬件。近年来，多次主持国家重大、重点型号项目相关系统和软硬件产品的论证、研制。在兵工学报、航空计算技术等期刊、会议发表学术论文20余篇，获得授权发明专利20余项。曾获国防科学技术进步一等奖、CCF专委会优秀论文奖等荣誉。

2. 报告人：邓庆绪  东北大学

题目：面向具身智能的异步任务链端到端时延分析

摘要：在自动驾驶、机器人等具身智能实时系统中，多个周期任务通过异步任务链完成功能，任务偏移配置与读写时刻的不确定性会显著影响数据传递的及时性。本报告围绕异步任务链的最大响应时间，介绍两项研究工作：第一项基于提出的zeroLET 模型，构建LET任务链的等价分析，并缩减无限的偏移搜索空间为有限大小；第二项建立包含抖动的事件模型，利用线性时间的任务组合方法计算安全的反应时间上界，分析抖动传播路径，并通过主动分析优化抖动约束、提高分析方法的可用性。相关工作发表在实时系统顶级会议RTSS2025和嵌入式软件会议EMSOFT2026并获得最佳论文奖（Best Paper Award）.

简介：邓庆绪，东北大学计算机学院教授，辽宁省嵌入式软件重点实验室主任，计算机学会嵌入式系统专委会副主任。主要研究方向为实时嵌入式系统、可重构计算、CPS(信息物理系统)/物联网工程。在实时嵌入式系统、物联网等领域，以负责人身份承担973计划课题、国家863计划项目、国家自然基金、国家重点研发计划课题等项目30余项。相关成果曾获得省技术发明奖一等奖、省科技进步一等奖和国家科技进步二等奖等奖项6项。已在实时嵌入式系统、物联网、可重构计算等领域的著名国内外期刊和会议上发表论文200多篇。有多篇代表性成果发表于相关领域顶级国际会议RTSS、RTAS、DAC、EMSOFT以及ACM Trans.、IEEE Trans.等国际期刊，多次获得RTSS、 RTAS、EMSOFT、DATE、CODES的最佳论文、学生最佳论文和杰出论文奖。

3. 报告人：任慰  麒麟软件有限公司

题目：面向Physical AI时代的麒麟工业操作系统

摘要：本报告聚焦 Physical AI 时代智能嵌入式操作系统发展，剖析工业领域开放化、智能化的演进趋势。对于未来智能系统痛点，介绍麒麟工业操作系统 “Linux+” 技术路线，围绕混合关键性系统、端侧AI、端云一体等技术点，面向先进工业、具身智能、商业航天等领域，探讨智算显控一体化的国产工业操作系统发展路径。

简介：任慰，工学博士，openEuler技术委员会委员，SIG-Yocto/SIG-Embedded/SIG-Zephyr Maintainer, 新一代物联网操作系统平台Zephyr项目推广大使，目前在麒麟软件有限公司从事工业操作系统相关研发工作，主要感兴趣的领域为实时操作系统、物联网操作系统，嵌入式系统软硬件协同设计。

4. 报告人：王文竹  信创海河实验室

题目：基于RISC-V K3 平台的openKylin 具身智能技术实践与探索

摘要：报告以RISC-V开源指令集架构的K3平台为基础，围绕 openKylin 操作系统与 OpenLoong 开源机器人框架的适配与协同，介绍面向具身智能应用的技术实践与阶段性探索。报告将结合系统集成、基础运行环境构建及端侧AI推理计算优化等工作，讨论运动控制与端侧智能计算对系统调度、资源管理和性能优化的需求，分享 RISC-V 平台下软件适配与应用部署的工程经验，并探讨通过RISC-V平台、操作系统与机器人开源生态的协作，构建开放、可复用的具身智能基础软件平台。

简介：王文竹，信创海河实验室基础软件部部长，CCF高级会员，openKylin开源社区技术委员会委员。主要研究方向：RISC-V开源架构、操作系统与具身智能前沿技术，先后主持或参与自然科学基金、天津市重点研发等课题10余项，发表论文 30 余篇，获国家发明专利授权6项。

5. 报告人：盛律  北京航空航天大学

题目：面向开放世界的具身智能体及其应用

摘要：开放现实世界中的具身智能体面临跨场景、跨任务和跨本体的泛化性挑战，以及完成复杂长程任务所需的可达性、可靠性和精准性要求。在本次报告中，讲者主要介绍复杂环境下具身智能体实现主动感知和行动闭环，空间推理与符号计算，经验学习与能力进化等关键能力维度的近期工作。相关工作已经集成至北京智源人工智能研究院的RoboBrain和RoboOS平台。

简介：盛律，北京航空航天大学教授，博导，入选国家级青年人才、智源青年学者、小米青年学者、2024-2026年斯坦福全球前2%顶尖科学家排行榜单。主要研究方向为三维视觉、具身智能和多模态大模型。在IEEE TPAMI/ACM TOG/IJCV以及CVPR/ICCV/ICLR/ECCV等重要国际期刊和会议发表论文80余篇，Google Scholar显示被引用数1万余次。现任CVPR/ICLR/ECCV/ACM Multimedia/AAAI等领域主席，以及多个领域顶会顶刊审稿人和程序委员。CCF高级会员，任CCF和CSIG多个专委会执行委员，VALSE执行领域主席。

6. 报告人：黄凯  中山大学

题目：面向国产敏捷无人系统的实时推理优化工具链

摘要：敏捷无人系统需要在有限资源下完成实时“感知—规划—控制”任务，实现自主导航、敏捷避障等功能。本报告针对敏捷无人系统的高性能、强实时需求，面向国产消费级多核异构平台，提出包括算子加速、异构调度与实时性分析的实时推理优化工具链。通过算子重构、混合精度优化及考虑依赖约束的并行调度提升执行效率，结合最坏执行时间与缓存争用分析提供确定性时延保障。依托混合部署计算底座iSure，支持智能推理与实时控制任务在同一平台运行。报告将结合无人机与无人车典型任务，介绍工具链的部署方案和应用验证。

简介：黄凯，现任中山大学计算机学院教授、人工智能与机器人研究所所长、机器智能与先进计算教育部重点实验室副主任，政协第十三届广东省委员会委员。主要研究方向是人工智能+机器人关键技术及工程化问题。应用领域包括智能驾驶，手术机器人，智能装备等。在CNS、JAMA子刊及其他国际著名期刊/会议发表多篇论文，最佳论文/提名二十余次。授权发明专利80余项，主导多项知识产权转化。

五、论坛组织委员会简介

1. 论坛组委会：牛建伟 教授 北京航空航天大学

简介：牛建伟，北京航空航天大学二级蓝天杰出教授，博士生导师，IEEE Fellow，北航具身智能机器人研究院副院长，美国卡内基梅隆大学访问学者，近10年全球2%顶尖科学家，工业互联网产教融合国家级创新平台首席科学家，科技部重点研发计划首席科学家，中国仿真学会工业互联网与智能系统专委会主任，浙江省“全省工业大数据与机器人智能系统重点实验室”主任，电子学会机器人分会总干事，IEEE IES 工业应用云和无线系统技术委员会中国区副主席。入选教育部2009年“新世纪优秀人才支持计划”，获得2013年教育部技术发明一等奖，2024年获得国防科技进步奖一等奖，2026年中国仿真学会科学技术奖一等奖。在国内外期刊和国际会议上发表学术论文300余篇（包括CCF A类论文70多篇），其中ESI高被引论文10篇，H-index 70，google引用22000余次。获得MobiCom2024 （CCF A类会议）、MobiCom 2022（CCF A类会议）、JNCA2021、PerCom 2020、IEEE System Journal 2018、JNCA 2015、IEEE ICC 2013、IEEE WCNC 2013等10余篇最佳论文，出版学术著作2部，已授权130余项技术发明专利。近年来的主要研究方向：智能工业软件，具身智能技术。

2. 论坛组委会：崔西宁 研究员 中国航空工业集团公司西安航空计算技术研究所

简介：崔西宁，中国航空工业集团公司西安航空计算技术研究所研究员，工学博士，CCF杰出会员，CCF系统软件、软件工程和嵌入式系统专委会主任扩大会议成员，国军标软件工程技术委员会委员，集团公司标准提升工程专家委员会委员、嵌入式软件标准化专业组委员，航空学会高级会员。先后主持和参加了多项预研、型号和核高基项目。在航电系统体系架构、容错重构、信息安全、嵌入式系统等多个领域有深入研究，先后在多项型号、预研项目中做出了突出贡献。发表论文50余篇，授权专利十余项，编写了集团标准十余项，工信部行业标准5项，主编了《嵌入式系统设计师教程》。获航空学会一等奖1项，部级奖9项、集团级10项；荣立二等功2次，三等功5次。

3. 论坛组委会：田晖 教授华侨大学

简介：田晖，博士，二级教授，博士生导师，现任华侨大学计算机科学与技术学院（软件学院）院长、网络与信息安全产业学院院长、厦门市数据安全与区块链技术重点实验室主任。入选福建省青年拔尖人才、福建省高校新世纪优秀人才及福建省高校杰出科研人才。现为IEEE高级会员，CCF杰出会员，CCF信息存储、区块链技术、网络与系统安全等多个专委的执行委员，福建省计算机学会副理事长及福建省网络空间安全学会副理事长。主要从事网络与信息安全、人工智能、软件工程等领域研究，研究方向涵盖数据安全、人工智能安全、多媒体信息安全、可信计算服务、区块链技术等。近年来，主持国家重点研发课题及子课题各1项、国家自然科学基金项目5项、以及其他各类省部级科研项目10余项。第一作者或者通信作者在国内外权威期刊及重要会议发表论文60余篇，获授权发明专利40余项，获省部级教学科研奖励9项。