報 告 人：杜德慧

報告題目：場景驅(qū)動的自動駕駛系統(tǒng)建模、仿真及安全驗證

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

報告地點：靜遠(yuǎn)樓908

主辦單位：智慧教育學(xué)院（計算機(jī)科學(xué)與技術(shù)學(xué)院） 、科學(xué)技術(shù)研究院

報告人簡介：

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

報告摘要：

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