2026年7月14日至17日,第十七届国际可靠性、维修性、安全性会议(ICRMS 2026)在广州召开。7月16日下午,由工业和信息化部电子第五研究所主办,哈尔滨工业大学网络空间安全学院与智能制造装备安全可靠关键技术及应用工业和信息化部重点实验室联合承办的“人工智能安全可靠”论坛顺利举行。哈工大网络空间安全学院院长兼计算学部副主任姜伟教授担任论坛召集人。
本次论坛以“智能可靠新境,数智安全运航”为主题,聚焦新一代人工智能快速发展所引发的安全与可靠性新挑战。来自高校、科研院所及行业企业的专家学者齐聚一堂,围绕人工智能安全攻防、大模型与智能体安全、网络空间漏洞挖掘、软件安全与可靠性等前沿议题,分享最新研究成果与工程实践经验,共探技术创新与协同发展路径。
论坛上,哈尔滨工业大学网络空间安全学院副研究员、国家级青年人才葛景全应邀作题为《软件故障的根原因分析》的专题报告。报告围绕软件故障根原因分析技术的发展脉络,介绍了该领域从程序切片、动态分析、统计推断到智能分析的演进过程,并分析了传统统计相关性方法在自动化根因定位中的应用及局限。结合团队在国际软件工程期刊ACM Transactions on Software Engineering and Methodology(TOSEM)发表的OptRCA、Arash等研究成果,葛景全副研究员重点介绍了如何利用大语言模型、语义规则检查和参数引导程序切片等技术,实现更加精准、高效、可解释的软件故障根原因分析,并就大模型时代软件故障分析面临的机遇与挑战进行展望,引起了国内外学者的广泛关注。

葛景全作《软件故障的根原因分析》专题报告
论坛还邀请浙江大学、广州大学、奇安信集团、绿盟科技、南方电网、中国中煤能源集团、工业和信息化部电子第五研究所、亚信安全等单位的专家作专题报告。与会嘉宾从学术前沿、关键技术和产业实践等多维角度深入交流,为进一步推进人工智能安全可靠领域的产学研合作注入了新思路。
本次论坛进一步加强了哈尔滨工业大学网络空间安全学院与国内外高校、科研院所以及行业企业的交流合作,集中展示了学院在系统与软件安全、人工智能安全和大语言模型安全等方向的研究进展。未来,学院将持续聚焦国家网络安全重大战略需求和人工智能技术发展前沿,深化交叉融合与协同创新,坚持智能向善、普惠包容、安全可控,积极推动人工智能国际合作,为人工智能安全、可靠、可控发展贡献力量。
图文丨葛景全
编辑丨郝萌、谭凯
初审丨姜伟
终审丨单既阳