报 告 人：杜德慧
报告题目：场景驱动的自动驾驶系统建模、仿真及安全验证
报告时间：2023年12月15日（周五）上午10:00
报告地点：静远楼908
主办单位：智慧教育学院（计算机科学与技术学院） 、科学技术研究院
报告人简介：
杜德慧，华东师范大学软件工程学院教授，CCF软件工程专委及形式化专委委员。长期从事智能系统的可信基础研究工作：建立了面向智能系统的架构建模及模型仿真、验证的理论方法体系，设计了自动驾驶场景建模语言SML4ADS及其操作语义模型，构建了安全攸关场景库及自动驾驶场景测试标准体系及技术框架，为我国在该领域处于国际先进水平做出了开拓性贡献。承担973,863研究项目，科技部2030可信人工智能重点及重大项目，国际基金委面上项目等。荣获上海市研究生教学成果奖及课程思政示范课程1项，出版模型驱动式软件开发方法专著1本，发表论文80余篇，获批专利15项，软著10项。
报告摘要：
本报告重点介绍场景驱动的自动驾驶系统建模、仿真及验证方法体系，针对自动驾驶系统的高安全性、高度复杂性、开放性等问题，提出场景驱动式自动驾驶系统设计及开发方法。设计、实现了模型驱动式场景建模语言及建模工具，支持构建不同抽象层次的场景模型，并使用形式化验证技术对场景模型中智能体的行为进行分析和验证。针对业界的痛点问题，提出场景模型的分类方法并构建了安全攸关场景库、危险场景库、边缘场景库等，为场景驱动的自动驾驶仿真、测试及验证奠定了基础。本报告将与大家共同探讨自动驾驶作为高安全智能系统的典型代表，其发展面临的挑战及可能的应对方法，为探讨可信人工智能的基础研究提供可行的初步研究探索。
