報 告 人：杜德慧

報告題目：場景驅動的自動駕駛系統建模、仿真及安全驗證

報告時間：2023年12月15日（周五）上午10:00

報告地點：靜遠樓908

主辦單位：智慧教育學院（計算機科學與技術學院） 、科學技術研究院

報告人簡介：

杜德慧，華東師范大學軟件工程學院教授，CCF軟件工程專委及形式化專委委員。長期從事智能系統的可信基礎研究工作：建立了面向智能系統的架構建模及模型仿真、驗證的理論方法體系，設計了自動駕駛場景建模語言SML4ADS及其操作語義模型，構建了安全攸關場景庫及自動駕駛場景測試標準體系及技術框架，為我國在該領域處于國際先進水平做出了開拓性貢獻。承擔973,863研究項目，科技部2030可信人工智能重點及重大項目，國際基金委面上項目等。榮獲上海市研究生教學成果獎及課程思政示范課程1項，出版模型驅動式軟件開發方法專著1本，發表論文80余篇，獲批專利15項，軟著10項。

報告摘要：

本報告重點介紹場景驅動的自動駕駛系統建模、仿真及驗證方法體系，針對自動駕駛系統的高安全性、高度復雜性、開放性等問題，提出場景驅動式自動駕駛系統設計及開發方法。設計、實現了模型驅動式場景建模語言及建模工具，支持構建不同抽象層次的場景模型，并使用形式化驗證技術對場景模型中智能體的行為進行分析和驗證。針對業界的痛點問題，提出場景模型的分類方法并構建了安全攸關場景庫、危險場景庫、邊緣場景庫等，為場景驅動的自動駕駛仿真、測試及驗證奠定了基礎。本報告將與大家共同探討自動駕駛作為高安全智能系統的典型代表，其發展面臨的挑戰及可能的應對方法，為探討可信人工智能的基礎研究提供可行的初步研究探索。