報告承辦單位:計算機與通信工程學院

報告內容: 安全攸關軟件的智能開發(fā)方法探索

報告人姓名：胡春明

報告人所在單位:北京航空航天大學

報告人職稱/職務及學術頭銜:教授

報告時間:2024年7月7日周日下午16點30

報告地點:金盆嶺9教211

報告簡介：航空、航天等領域的安全攸關軟件普遍采用模型驅動開發(fā)范式，以達成軟件問題發(fā)現階段左移和軟件質量保障的目標，是安全攸關軟件開發(fā)的最佳工程實踐。大語言模型技術的快速發(fā)展為軟件工程帶來了變革的契機。本報告首先總結傳統(tǒng)模型驅動開發(fā)范式中存在的挑戰(zhàn)問題，討論目前大模型在軟件工程發(fā)揮的輔助作用及其潛在能力；然后提出“模型驅動+ 大模型增強”智能化軟件開發(fā)新模式，介紹我們在領域語義驅動的智能協(xié)同軟件建模、智能增強的模型驗證、智能代碼生成方面的技術探索，以及相關工具環(huán)境的研制情況；最后，探討未來的新型應用場景和可能的創(chuàng)新研究方向。

報告人簡介: 胡春明，北京航空航天大學教授，軟件學院院長，復雜關鍵軟件環(huán)境全國重點實驗室副主任，大數據科學與腦機智能北京市高精尖創(chuàng)新中心副主任。擔任中國計算機學會（CCF）系統(tǒng)軟件專委會副主任，標準工委技術委員會主任。

主要研究方向為計算機軟件與理論、分布式系統(tǒng)、數據中心資源管理與調度、圖計算查詢優(yōu)化、安全攸關的軟件開發(fā)方法等。已主持國家級項目（及課題）6項，主持北京市重點項目1項，獲得授權技術發(fā)明專利35項。獲國家技術發(fā)明二等獎1項，省部級技術發(fā)明/科技進步特等獎1項，一等獎2項。