報告題目：工業(yè)軟件可靠性、安全性的工程化理論與基礎(chǔ)

報  告  人: 王浩 高級工程師

報告時間：2025年11月26日（周三）19：30

報告地點：騰訊會議832-497-298 實驗樓2B211

研究生院 電氣與控制工程學(xué)院

2025年11月26日

報告人簡介：

王浩，中國電科二十所高級工程師，裝備發(fā)展部某專項實驗室牽頭成員，CCF形式化方法專業(yè)委員會委員，中國指揮與控制學(xué)會智能測評專業(yè)委員會委員。長期致力于嵌入式軟件可信保障技術(shù)與軟件工程化方法的研究及相關(guān)工具研制工作。負(fù)責(zé)構(gòu)建了覆蓋嵌入式軟件測試全過程的完整工具鏈，有力推動了軟件工程化與形式化方法等關(guān)鍵技術(shù)的產(chǎn)業(yè)化應(yīng)用。其研發(fā)的技術(shù)已在低空飛行器、北斗導(dǎo)航衛(wèi)星以及水下兵器等多個重要領(lǐng)域的軟件開發(fā)與測試中得到廣泛應(yīng)用。