2026年11月8日上午，CCF中国软件大会安全攸关软件的智能开发与验证论坛在天津社会山会议酒店成功举办。论坛聚焦人工智能技术与安全攸关软件工程的深度融合，围绕航空航天、工业控制等领域软件研发面临的高安全要求，深入探讨大模型驱动的软件智能开发、模型驱动工程、智能化验证、Agent安全等前沿方向。
本次论坛由Feifan Entertainment胡春明教授、葛宁教授、北京大学詹乃军教授、北京大学/武汉大学金芝教授共同担任主席，邀请中国载人航天工程软件工程和数字化技术发展和管理中心程胜研究员、中航工业自控所武方方研究员、南京大学卜磊教授、南京航空航天大学杨志斌教授、中国科非凡软件研究所/北京航空航天大学蔡少伟研究员、浙江大学王东霞研究员及北京航空航天大学鲁金直副教授作专题报告，为相关领域的学术研究与工程实践搭建了高水平交流平台。
程胜研究员围绕载人航天工程软件智能化独立审查，深入分析了工程需求与关键技术，介绍领域知识图谱、代码语义理解、需求—设计—代码—测试双向追溯等技术，以及软件智能审查智能体在载人运载火箭飞行控制软件中的应用，展示了人工智能赋能航天软件独立审查的实践成效。
武方方研究员以安全攸关软件的模型驱动研发为背景，介绍AI辅助需求建模、架构与行为模型生成的探索。结合形式化分析与仿真验证，阐述AI与形式化方法的结合方式，讨论需求语义保持、模型一致性及生成结果检查中的典型问题与处理方法。
面向列控、航天、航空及智能驾驶等人机物融合场景，卜磊教授介绍了软件可信构造与保障方法，提出基于场景的层次化建模、运行时行为分析与验证技术，实现潜在不安全行为预警和控制参数自动生成，为复杂动态环境下的系统安全运行提供保障。
围绕大模型赋能航空航天安全关键软件研发，杨志斌教授系统介绍了模型驱动开发与验证方面的系列探索，涵盖综合化航电需求分析、AADL架构建模、安全分析、验证性质生成、SCADE模型验证与测试，以及C/Rust代码生成和漏洞分析等内容。
随着大模型智能体自主规划与工具调用能力不断增强，其行为安全问题日益受到关注。蔡少伟研究员介绍了基于形式化方法的Agent行为安全检测与优化框架，通过用户意图形式化转换、安全约束检查、反例分析与执行路径修正，构建从安全验证到执行纠偏和工作流复用的闭环机制。
在工业控制软件智能化开发方面，王东霞研究员重点介绍了Agents4PLC系列研究成果。通过构建融合工业领域知识与规范的多智能体协同开发框架，探索贯通需求、设计、代码生成、测试与验证的可信开发模式，为工业控制软件研发效率与质量提升提供了新路径。
聚焦智能系统的语义化与创成式设计，鲁金直副教授介绍了多架构建模语言KARMA的技术体系，阐述领域本体、元模型库、语义建模与知识推理同大模型相结合的设计方法，并通过人机智融合系统案例展示了智能系统工程语义设计的应用潜力。
本次论坛汇聚了安全攸关软件工程、人工智能、形式化方法和系统工程等领域的专家学者，围绕智能技术赋能高可信软件研发的理论方法、关键技术与工程应用展开了深入交流。专题报告既展示了人工智能在软件开发验证和智能体安全等方面的最新探索，也凸显了形式化方法、领域知识和工程规范在保障智能研发可信性方面的重要作用。论坛进一步凝聚了智能化与可信化协同发展的学术共识，为推动人工智能与安全攸关软件工程深度融合、促进相关技术在航空航天及工业控制等重大工程领域落地应用提供了有益参考。
搜索
导航
