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

報(bào)  告  人: 王浩 高級(jí)工程師

報(bào)告時(shí)間：2025年11月26日（周三）19：30

報(bào)告地點(diǎn)：騰訊會(huì)議832-497-298 實(shí)驗(yàn)樓2B211

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

2025年11月26日

報(bào)告人簡(jiǎn)介：

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