報告題目：面向多車的自動駕駛系統仿真測試與驗證

報告時間：2024年10月18日14:30-16:00

報告地點：437bwin必贏國際官網B404

報告人：晏榮杰

報告人國籍：中國

報告人單位：中科院軟件所

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

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

邀請人：辛奇、玄躋峰