報告承辦單位:計算機與通信工程學院
報告內容: 安全攸關軟件的智能開發方法探索
報告人姓名：胡春明
報告人所在單位:北京航空航天大學
報告人職稱/職務及學術頭銜:教授
報告時間:2024年7月7日周日下午16點30
報告地點:金盆嶺9教211
報告簡介：航空、航天等領域的安全攸關軟件普遍采用模型驅動開發范式，以達成軟件問題發現階段左移和軟件質量保障的目標，是安全攸關軟件開發的最佳工程實踐。大語言模型技術的快速發展為軟件工程帶來了變革的契機。本報告首先總結傳統模型驅動開發范式中存在的挑戰問題，討論目前大模型在軟件工程發揮的輔助作用及其潛在能力；然后提出“模型驅動+ 大模型增強”智能化軟件開發新模式，介紹我們在領域語義驅動的智能協同軟件建模、智能增強的模型驗證、智能代碼生成方面的技術探索，以及相關工具環境的研制情況；最后，探討未來的新型應用場景和可能的創新研究方向。
報告人簡介: 胡春明，北京航空航天大學教授，軟件學院院長，復雜關鍵軟件環境全國重點實驗室副主任，大數據科學與腦機智能北京市高精尖創新中心副主任。擔任中國計算機學會（CCF）系統軟件專委會副主任，標準工委技術委員會主任。
主要研究方向為計算機軟件與理論、分布式系統、數據中心資源管理與調度、圖計算查詢優化、安全攸關的軟件開發方法等。已主持國家級項目（及課題）6項，主持北京市重點項目1項，獲得授權技術發明專利35項。獲國家技術發明二等獎1項，省部級技術發明/科技進步特等獎1項，一等獎2項。
