报告承办单位:计算机与通信工程学院
报告内容: 安全攸关软件的智能开发方法探索
报告人姓名：胡春明
报告人所在单位:北京航空航天大学
报告人职称/职务及学术头衔:教授
报告时间:2024年7月7日周日下午16点30
报告地点:金盆岭9教211
报告简介：航空、航天等领域的安全攸关软件普遍采用模型驱动开发范式，以达成软件问题发现阶段左移和软件质量保障的目标，是安全攸关软件开发的最佳工程实践。大语言模型技术的快速发展为软件工程带来了变革的契机。本报告首先总结传统模型驱动开发范式中存在的挑战问题，讨论目前大模型在软件工程发挥的辅助作用及其潜在能力；然后提出“模型驱动+ 大模型增强”智能化软件开发新模式，介绍我们在领域语义驱动的智能协同软件建模、智能增强的模型验证、智能代码生成方面的技术探索，以及相关工具环境的研制情况；最后，探讨未来的新型应用场景和可能的创新研究方向。
报告人简介: 胡春明，北京航空航天大学教授，软件学院院长，复杂关键软件环境全国重点实验室副主任，大数据科学与脑机智能北京市高精尖创新中心副主任。担任中国计算机学会（CCF）系统软件专委会副主任，标准工委技术委员会主任。
主要研究方向为计算机软件与理论、分布式系统、数据中心资源管理与调度、图计算查询优化、安全攸关的软件开发方法等。已主持国家级项目（及课题）6项，主持北京市重点项目1项，获得授权技术发明专利35项。获国家技术发明二等奖1项，省部级技术发明/科技进步特等奖1项，一等奖2项。
