夜雨聆风2026年8月22日，由中国计算机学会系统软件专业委员会（CCF系统软件专委会）主办、大连理工大学软件学院承办的CCF系统软件专委会青年学者论坛大连理工大学站活动，在海创大连科技交流中心成功举行，论坛主席是大连理工大学任志磊教授。本次活动聚焦具身智能操作系统等前沿方向，邀请上海交通大学、清华大学、天津大学、大连理工大学、南京航空航天大学、东北大学等高校与院所的知名学者齐聚一堂，共话系统软件与智能化前沿，围绕具身智能操作系统、可信具身智能、JVM 测试、代码标识符重构、二进制分析等前沿议题作了精彩报告。
CCF系统软件专委会青年学者论坛活动现场
本次活动由大连理工大学软件学院教授任志磊和东北大学软件学院教授王莹共同主持，在活动开幕环节，由CCF系统软件专委会领导南京大学许畅教授和大连理工大学人工智能大连研究院院长江贺教授进行欢迎致辞，向参加论坛的师生表示热烈的欢迎，并简要介绍本次活动的五场报告。
东北大学王莹教授进行主持
南京大学许畅教授进行欢迎致辞
大连理工大学江贺教授进行开场致辞
上海交通大学古金宇副教授，以《具身智能操作系统挑战与机遇》为题，指出具身智能的快速发展需要机器人系统的软件架构重塑。具身智能操作系统面临诸多核心挑战： VLA 模型推理的资源供给、异构XPU 计算资源的协同调度、具身模型支撑机器人作业的可靠性等。本报告介绍面向具身智能的操作系统的挑战与机遇，包括具身模型端侧低延迟推理，机器人训练时资源高效利用的系统机制；集成 Skill 等能力的具身智能体框架等。同时还将介绍开源鸿蒙具身智能操作系统项目和社区情况。
上海交通大学古金宇副教授报告分享
清华大学博士后研究员马福辰，以《可信具身智能》为题，围绕可信具身智能系统的安全与可靠性问题展开。针对机器人、机器狗和无人机等具身智能设备控制链路复杂、多节点并行、状态交互频繁、运行环境及通信协议异构等特点，探讨面向具身智能系统的自动化可靠性评估方法。 报告重点介绍三方面研究进展：一是面向机器狗 UWB 定位系统的信号干扰攻击，通过预测响应帧并叠加干扰信号，分析定位误差及系统失效风险；二是面向机器人DDS 分布式通信协议，构建伪装节点模糊测试框架，提高代码覆盖率，并在多种常用 DDS 实现中发现安全漏洞；三是面向机器人导航系统，研究测试场景的自动构建、筛选与持续优化方法，以提升对卡滞、低效重规划和频繁恢复等潜在缺陷的发现能力。报告旨在形成覆盖通信协议、定位感知和运行场景的具身智能系统安全测试与可靠性评估技术体系。
清华大学马福辰博士后研究员报告分享
天津大学副研究员赵英全，以《JVM 测试程序生成及选择技术研究》为题，指出Java 虚拟机（JVM）是现代软件生态的重要基础设施，其系统结构复杂、功能模块多样，潜在缺陷可能影响上层软件的可靠运行，因此对其开展系统化测试至关重要。针对现有JVM 测试方法在测试程序生成的多样性、种子程序选择效率以及特定模块测试充分性等方面的不足，本报告围绕JVM 测试程序生成及选择开展研究。首先，通过抽象和实例化历史揭错程序中的控制流与数据流信息，生成具有更高多样性和揭错能力的测试程序；其次，利用程序特征选择具有代表性和多样性的种子程序，提升模糊测试效率；最后，面向特定模块，结合模块特征其覆盖反馈引导测试程序生成，增强对复杂运行时行为的探索能力。最终通过从测试程序生成、种子程序选择以及特定模块测试生成三个方面提升JVM 测试的有效性与效率，为复杂运行时系统的自动化测试提供了新的技术思路与实践参考。
天津大学赵英全副研究员报告分享
南京航空航天大学副教授张静宣，以《面向星载大模型的位翻转错误检测与恢复》为题，指出随着卫星技术的快速发展，星载大模型正成为天基智能系统的核心支撑，其运行可靠性成为航天领域的前沿研究热点。星载大模型在外部空间恶劣环境和内部高负载运算的双重挑战下，因位翻转会触发推理失效、性能下降等大连理工大学· CCF 系统软件专委会· 青年学者论坛 会务组问题。本报告将介绍我们面向星载大模型位翻转故障检测和恢复的一些初步探索，包括损伤机理挖掘、失效行为识别、故障检测与恢复等，构建错误感知、诊断到容错的全流程防护，提高星载大模型的运行可靠性。
南京航空航天大学张静宣副教授报告分享
大连理工大学助理教授贾昂，以《面向复杂函数映射的二进制分析技术研究》为题，指出二进制分析是软件供应链治理、漏洞检测和工业控制系统安全的重要技术基础。然而，编译优化与异构工具链会改变程序的函数边界和组织结构，使源代码函数与二进制函数之间的关系由传统的一对一映射，演化为一对多、部分到整体以及多对多等复杂映射。建立在固定函数边界和理想映射关系之上的现有方法，在此类场景中容易面临匹配对象缺失、函数语义不对等以及程序区域过分割等问题。本报告围绕复杂函数映射带来的二进制分析韧性挑战，介绍一系列相关研究。
大连理工大学贾昂助理教授报告分享
五场报告从具身智能操作系统、可信具身智能、JVM 测试、代码标识符重构、二进制分析等方面展开深入探讨。今天报告的各位青年学者都是各自领域崭露头角的优秀代表，我们希望通过“青年学者论坛”这样的平台，让更多年轻学者和学生有机会与领域专家面对面交流，激发创新灵感，拓宽学术视野。
2026年8月22日，由中国计算机学会系统软件专业委员会（CCF系统软件专委会）主办、大连理工大学软件学院承办的CCF系统软件专委会青年学者论坛大连理工大学站活动，在海创大连科技交流中心成功举行，论坛主席是大连理工大学任志磊教授。本次活动聚焦具身智能操作系统等前沿方向，邀请上海交通大学、清华大学、天津大学、大连理工大学、南京航空航天大学、东北大学等高校与院所的知名学者齐聚一堂，共话系统软件与智能化前沿，围绕具身智能操作系统、可信具身智能、JVM 测试、代码标识符重构、二进制分析等前沿议题作了精彩报告。
CCF系统软件专委会青年学者论坛活动现场
本次活动由大连理工大学软件学院教授任志磊和东北大学软件学院教授王莹共同主持，在活动开幕环节，由CCF系统软件专委会领导南京大学许畅教授和大连理工大学人工智能大连研究院院长江贺教授进行欢迎致辞，向参加论坛的师生表示热烈的欢迎，并简要介绍本次活动的五场报告。
东北大学王莹教授进行主持
南京大学许畅教授进行欢迎致辞
大连理工大学江贺教授进行开场致辞
上海交通大学古金宇副教授，以《具身智能操作系统挑战与机遇》为题，指出具身智能的快速发展需要机器人系统的软件架构重塑。具身智能操作系统面临诸多核心挑战： VLA 模型推理的资源供给、异构XPU 计算资源的协同调度、具身模型支撑机器人作业的可靠性等。本报告介绍面向具身智能的操作系统的挑战与机遇，包括具身模型端侧低延迟推理，机器人训练时资源高效利用的系统机制；集成 Skill 等能力的具身智能体框架等。同时还将介绍开源鸿蒙具身智能操作系统项目和社区情况。
上海交通大学古金宇副教授报告分享
清华大学博士后研究员马福辰，以《可信具身智能》为题，围绕可信具身智能系统的安全与可靠性问题展开。针对机器人、机器狗和无人机等具身智能设备控制链路复杂、多节点并行、状态交互频繁、运行环境及通信协议异构等特点，探讨面向具身智能系统的自动化可靠性评估方法。 报告重点介绍三方面研究进展：一是面向机器狗 UWB 定位系统的信号干扰攻击，通过预测响应帧并叠加干扰信号，分析定位误差及系统失效风险；二是面向机器人DDS 分布式通信协议，构建伪装节点模糊测试框架，提高代码覆盖率，并在多种常用 DDS 实现中发现安全漏洞；三是面向机器人导航系统，研究测试场景的自动构建、筛选与持续优化方法，以提升对卡滞、低效重规划和频繁恢复等潜在缺陷的发现能力。报告旨在形成覆盖通信协议、定位感知和运行场景的具身智能系统安全测试与可靠性评估技术体系。
清华大学马福辰博士后研究员报告分享
天津大学副研究员赵英全，以《JVM 测试程序生成及选择技术研究》为题，指出Java 虚拟机（JVM）是现代软件生态的重要基础设施，其系统结构复杂、功能模块多样，潜在缺陷可能影响上层软件的可靠运行，因此对其开展系统化测试至关重要。针对现有JVM 测试方法在测试程序生成的多样性、种子程序选择效率以及特定模块测试充分性等方面的不足，本报告围绕JVM 测试程序生成及选择开展研究。首先，通过抽象和实例化历史揭错程序中的控制流与数据流信息，生成具有更高多样性和揭错能力的测试程序；其次，利用程序特征选择具有代表性和多样性的种子程序，提升模糊测试效率；最后，面向特定模块，结合模块特征其覆盖反馈引导测试程序生成，增强对复杂运行时行为的探索能力。最终通过从测试程序生成、种子程序选择以及特定模块测试生成三个方面提升JVM 测试的有效性与效率，为复杂运行时系统的自动化测试提供了新的技术思路与实践参考。
天津大学赵英全副研究员报告分享
南京航空航天大学副教授张静宣，以《面向星载大模型的位翻转错误检测与恢复》为题，指出随着卫星技术的快速发展，星载大模型正成为天基智能系统的核心支撑，其运行可靠性成为航天领域的前沿研究热点。星载大模型在外部空间恶劣环境和内部高负载运算的双重挑战下，因位翻转会触发推理失效、性能下降等大连理工大学· CCF 系统软件专委会· 青年学者论坛 会务组问题。本报告将介绍我们面向星载大模型位翻转故障检测和恢复的一些初步探索，包括损伤机理挖掘、失效行为识别、故障检测与恢复等，构建错误感知、诊断到容错的全流程防护，提高星载大模型的运行可靠性。
南京航空航天大学张静宣副教授报告分享
大连理工大学助理教授贾昂，以《面向复杂函数映射的二进制分析技术研究》为题，指出二进制分析是软件供应链治理、漏洞检测和工业控制系统安全的重要技术基础。然而，编译优化与异构工具链会改变程序的函数边界和组织结构，使源代码函数与二进制函数之间的关系由传统的一对一映射，演化为一对多、部分到整体以及多对多等复杂映射。建立在固定函数边界和理想映射关系之上的现有方法，在此类场景中容易面临匹配对象缺失、函数语义不对等以及程序区域过分割等问题。本报告围绕复杂函数映射带来的二进制分析韧性挑战，介绍一系列相关研究。
大连理工大学贾昂助理教授报告分享
五场报告从具身智能操作系统、可信具身智能、JVM 测试、代码标识符重构、二进制分析等方面展开深入探讨。今天报告的各位青年学者都是各自领域崭露头角的优秀代表，我们希望通过“青年学者论坛”这样的平台，让更多年轻学者和学生有机会与领域专家面对面交流，激发创新灵感，拓宽学术视野。