報告題目：復雜嵌入式軟件需求工程

報告時間：2024年9月30日14:30

報告地點:437bwin必贏國際官網B404會議室

報告人：金芝

報告人單位：北京大學

報告人簡介：金芝，北京大學教授，IEEE/CCF/AAIA Fellow，高可信軟件技術教育部重點實驗室常務副主任，國家杰出青年科學基金獲得者。兼任國務院學位委員會學科評議組成員（軟件工程），中國計算機學會監事長，中國人工智能學會知識工程與分布智能專委會副主任。研究領域包括需求工程、知識工程、代碼表示學習和軟件自動化。

報告摘要：隨著嵌入式軟件系統的應用不斷普及和深入，其系統復雜性也不斷提升，嵌入式軟件系統需求工程成為值得研究的問題。本報告介紹嵌入式軟件系統從需求到規約的全流程支撐方法，實現方法學指導下的從用戶需求到系統規約的系統化變換。該方法以環境建模的需求工程思想為指導，從設備模型和用戶需求出發，通過識別設備實體和需求引導下的設備行為建模，推斷并決策出軟件的行為模型，從而構建軟件系統能力規約，最后還可以進行基于軟件模塊行為和設備模塊行為的系統仿真，驗證系統設計的正確性，形成從用戶需求到系統規約的全過程支撐。