内容摘要：自动驾驶汽车技术的飞速进步正在加速其在实际应用中的普及。然而，近期发生的几起致命事故凸显了这项技术目前存在的安全隐患。因此，开展大规模的安全性测试变得尤为重要。为应对这一挑战，业界已经开发了多种方法。这些方法利用高保真度模拟器自动生成多样化的驾驶场景，并依据不同的测试标准来评估自动驾驶系统。虽然这些方法在识别违规行为方面效果显著，但它们还未能准确指出导致问题的具体决策和行动——这些信息对于提高自动驾驶系统的安全性至关重要。在本次演讲中，我将介绍一种创新的自动化框架。该框架旨在通过利用安全规约和站点-时间图（ST graph），对自动驾驶汽车事故记录进行因果分析。  

报告时间：2024年5月28日 15：00-17：00

报告地点：南一楼中314；腾讯会议在线，会议号482109074

主办单位：华中科技大学 人工智能与自动化学院 工业互联网及系统安全实验室

邀请人：周纯杰教授

报告人：陈宇奇博士目前为上海科技大学助理教授，博士生导师。博士毕业于新加坡科技与设计大学，师从孙军教授。陈宇奇博士的研究领域涵盖物理信息融合系统（CPS）、软件工程、形式化方法等多个领域。目前在SP、POPL、ICSE、FSE等多个顶级期刊会议上发表论文20余篇。此外，他还担任了IEEE TSE、TOSEM、IEEE TC等多个顶级期刊的审稿人以及ISSTA和TASE的程序委员会成员。