報(bào) 告 人：杜德慧

報(bào)告題目：場(chǎng)景驅(qū)動(dòng)的自動(dòng)駕駛系統(tǒng)建模、仿真及安全驗(yàn)證

報(bào)告時(shí)間：2023年12月15日（周五）上午10:00

報(bào)告地點(diǎn)：靜遠(yuǎn)樓908

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

報(bào)告人簡介：

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

報(bào)告摘要：

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