報(bào)告題目：面向多車的自動(dòng)駕駛系統(tǒng)仿真測試與驗(yàn)證

報(bào)告時(shí)間：2024年10月18日14:30-16:00

報(bào)告地點(diǎn)：437bwin必贏國際官網(wǎng)B404

報(bào)告人：晏榮杰

報(bào)告人國籍：中國

報(bào)告人單位：中科院軟件所

報(bào)告人簡介：晏榮杰，中國科學(xué)院軟件研究所副研究員、碩士生導(dǎo)師。CCF高級會(huì)員，博士畢業(yè)于中國科學(xué)院軟件研究所。研究方向包括系統(tǒng)形式化建模與分析、智能軟件的驗(yàn)證與測試、自主無人系統(tǒng)的仿真測試。在相關(guān)領(lǐng)域重要國際期刊SoSYM、JSS、JCP和國際會(huì)議ISSTA、FM、ICRA、DATE、IROS等發(fā)表了多篇學(xué)術(shù)論文。擔(dān)任中國科學(xué)院大學(xué)《理論計(jì)算機(jī)科學(xué)基礎(chǔ)》課程的主講教師。近幾年的主要研究興趣為自動(dòng)駕駛系統(tǒng)的仿真測試與驗(yàn)證。主導(dǎo)開發(fā)的自動(dòng)駕駛系統(tǒng)仿真測試原型工具ComOpT曾獲2021年度IEEE無人駕駛AI測試挑戰(zhàn)賽冠軍。

報(bào)告摘要：自動(dòng)駕駛系統(tǒng)的仿真測試面臨著測試數(shù)據(jù)的充分性與測試結(jié)果評估等多重挑戰(zhàn)。針對多車交互場景，我們探討了安全關(guān)鍵測試數(shù)據(jù)的高效構(gòu)建方法以及仿真結(jié)果合規(guī)性的自動(dòng)化驗(yàn)證技術(shù)，以此來尋求有效的解決方案。具體來說，我們研究如何生成能夠覆蓋各種交通場景且合理的安全關(guān)鍵測試數(shù)據(jù)，如何自動(dòng)驗(yàn)證仿真結(jié)果是否符合現(xiàn)行法規(guī)。通過這些措施，我們旨在提高自動(dòng)駕駛系統(tǒng)在多車交互環(huán)境下的可靠性和安全性。

邀請人：辛奇、玄躋峰