CCF ChinaSoft 2023 论坛巡礼|自动驾驶仿真测试论坛

2023年CCF中国软件大会(CCF ChinaSoft 2023)由CCF主办,CCF系统软件专委会、形式化方法专委会、软件工程专委会以及复旦大学联合承办,将于2023年12月1-3日上海国际会议中心举行。

本次大会主题是“智能化软件创新推动数字经济与社会发展”,学术、工业、教育、竞赛等分论坛活动40余场,期待您的参与!

目前大会火热报名中!

CCF ChinaSoft 2023官方首页:

http://chinasoft.ccf.org.cn/

点击文末“阅读原文”或扫描下方二维码进入官方注册通道:

https://conf.ccf.org.cn/chinasoft2023

f9e862b87e6e6361cf452284052b23de.jpeg

d25d026507d2633ff65ffca0f6470649.jpeg

✦  +

+

论坛巡礼

论坛名称:自动驾驶仿真测试论坛

时间:2023年12月01日08:30-12:30

地点:上海国际会议中心,5G会议室

论坛简介:

软件定义汽车带来庞大的产业机会及人类社会出行的变革。但同时诞生的有史以来最庞大复杂的软件系统也对传统软件测试验证理论带来巨大挑战。尤其是长尾问题,不仅对学术界面临的难题,也是自动驾驶量产落地的最大障碍之一。仿真测试被认为是解决长尾问题及自动驾驶安全保障的核心技术。本论坛邀请学术界和产业界的专家给出特邀报告之后进行圆桌讨论,共同研讨有效的自动驾驶仿真技术。本论坛由中国仿真学会自动驾驶汽车仿真测试专委会联合承办。

日程安排

Schedule

2d7200febe8d3a632b3e53811c22237c.png

论坛主席

  Forum Chair

411d08264f9f2c4e73a9f880faf303c5.png

杨子江西安交通大学

西安交通大学图灵交叉信息科学研究中心主任、教授及深信科创创始人。曾任美国西密歇根大学计算机科学系正教授及密歇根大学电子工程与计算机科学系访问教授。学术兼职包括IEEE国际电动与自动驾驶技术委员会主席;IEEE自动驾驶国际标准工作组副主席;2021-2023年IEEE国际自动驾驶软件会议主席;2020年IEEE国际自动驾驶软件会议主席、2019年IEEE国际软件测试及验证大会共同主席;中国电动汽车百人会理事;安徽人工智能百人会副会长;中国开放原子开源基金会智能出行项目技术执行委员会主席。发表论文百余篇及二十余项中、美专利,获得ACM SIGSOFT杰出论文奖,ACM TODAES最佳期刊论文奖等。

8694275ba672aa4b91dac5ce437b9c99.png

杨开睿(菜鸟自动驾驶实验室

菜鸟自动驾驶算法仿真测试负责人、中国仿真学会自动驾驶汽车仿真测试专委会秘书&委员。国内最早的L4自动驾驶质量领域专家之一,主攻自动驾驶算法仿真测试、仿真对抗性测试、场景自动生成技术以及自动驾驶质量保障。曾负责百度自动驾驶系统集成测试从0到1搭建和Apollo中美测试工作。申请发明专利数十篇、主导了自动驾驶领域首个高速枢纽仿真HDmap开源数据集Flyover的研发、主导了阿里天池杯“2022未来汽车”自动驾驶算法挑战赛的赛题设计和专家评测工作,吸引了全球超过1500支队伍参赛。参与了多项自动驾驶场景和法规相关的国家项目和标准制定工作。

论坛嘉宾

Forum Guests

65ac2fe6867690b963eb52c416c799c8.png

卜磊(南京大学

现任南京大学软件学院教授、博导、副院长,兼任 CCF 系统软件专委秘书长;2010年在南京大学计算机与科学技术系获取博士学位;曾在CMU、MSRA等科研机构进行访学与合作研究;主要研究领域涉及软件工程、可信软件、形式化方法,研究工作集中在模型检验技术、实时混成系统、信息物理融合系统等方面,部分创新性工作发表在相关领域重要期刊与会议如《中国科学》、TCAD、TC、TDSC、TCPS、TPDS、RTSS、ICSE、ISSTA、ASE等上;入选国家级青年人才计划、高校计算机专业优秀教师奖励计划、CCF-IEEE CS青年科学家奖、中创软件人才奖、NASAC青年软件创新奖、CCF青年人才发展计划、MSRA铸星计划等。

报告题目

开放不确定场景下的智能汽车预期功能安全检测、防护与强化

摘要

在高度自动化、智能化的同时,在开放不确定场景下,智能汽车极易受到感知系统误判、决策系统失误、人员误操作等因素的影响,从而导致汽车在运行中遭遇预期功能安全风险,并导致不可挽回的财产与人身伤害。近年来,Tesla、Uber等已多次出现相关人员伤亡事故。如何解决相关预期功能安全问题已成为智能汽车走向应用亟需解决的痛点,迅速成为当前国内外学术界和工业界高度关注的问题。近年来,我们围绕开放不确定场景下智能汽车的“预期功能安全风险认知与评估”与“系统行为失效预测与防护”两大问题,针对开放不确定场景下系统行为特性,在预期功能安全认知与度量、预期功能安全测试与验证、智能决策安全学习与增强、实时运行安全监控与防护等方面进行关键技术研究与突破。本报告将对相关工作规划与初步进展进行汇报。

db2e3fcbb5b2c56cb378be948f384490.png

陈碧欢(复旦大学

复旦大学计算机科学技术学院副教授,主要研究方向包括软件供应链、智能网联汽车、AI系统工程等。作为课题负责人和技术骨干参加科技创新2030-“新一代人工智能”重大项目、国家自然科学基金项目,承担多项企业合作项目。研究成果发表在ICSE、FSE、S&P、TSE、TIFS等国际顶级会议和期刊,并获得3次ACM SIGSOFT杰出论文奖(FSE2016、ASE2018、ASE2022)和2次IEEE TCSE杰出论文奖(ICSME2020、SANER2023)。基于相关研究成果,研制了开源风险治理平台伏羲(http://www.se.fudan.edu.cn/fuxi/)。

报告题目

自动驾驶仿真测试的道路生成与违规诊断

摘要

仿真测试是保障自动驾驶系统质量的重要手段,旨在通过生成多样化的仿真场景来发现潜在的违规情况,并通过人工分析违规情况来提升自动驾驶系统的质量。因此,保证仿真场景的多样性、减少人工分析的时间是其中的两个关键问题。本报告将介绍基于场景组件合成的方法来生成多样化的仿真场景,并介绍基于大语言模型的方法来加速违规情况的诊断。

383a6d16b7e2ead002e23fc11f39bd1a.png

谢肖飞(新加坡管理大学

新加坡管理大学助理教授,曾任新加坡南洋理工大学校长博士后。2018年于天津大学获得博士学位,并获得CCF 优秀博士论文奖以及ACM 天津区优秀博士论文奖。目前致力于程序分析、软件测试以及人工智能安全测试等研究领域。其研究成果已经发表于人工智能、软件工程以及安全领域等顶级会议与期刊,例如FSE, ICSE, TSE, TOSEM, ICLR, ICML, NeurIPS, ICCV, CCS, TDSC and TIFS,其中四次获得ACM SIGSOFT 杰出论文奖 (FSE’16, ASE’19, ISSTA’22,  ASE'23)。

报告题目

基于多样性引导的自动驾驶系统测试及非最优决策分析

摘要

测试自动驾驶系统是确保自动驾驶车辆可靠性和安全性的关键步骤。现有工作主要集中于寻找安全违规的关键场景,却忽视了测试场景的多样性以及非安全违规的测试。测试用例缺乏多样性可能会产生大量冗余案例和故障,降低测试效率并增加故障分析成本。非安全关键违规意味着自动驾驶系统在驾驶过程中作出的非最优决策。本报告将介绍基于多样性引导的自动驾驶系统测试方法以及对自动驾驶系统非最优决策行为的测试。

9580e4dce62cb5c16550a59199d7acb8.png

薛强浙江大学网络空间安全学院,浙江大学嘉兴研究院

北京大学物理学学士,芬兰奥卢大学通信工程博士,曾就职于梅赛德斯奔驰乘用车研发中心,从事智能车网联功能开发与自动驾驶算法开发。现就职于浙江大学网络空间安全学院与浙江大学嘉兴研究院,负责智能网联汽车预期功能安全与信息安全仿真测试平台的研发。

报告题目

智能网联汽车自动驾驶系统安全测试

摘要

自动化与网联化是目前汽车智能化发展的重要方向。相比于传统汽车,具备自动驾驶与网联功能的智能车与外界进行信息交互的边界得到极大拓展,需要采集和处理的数据成几何级指数增长。系统复杂性的提升带来系统可靠性(预期功能安全)与安全性(信息安全)的双重风险提升。因此,急需开发针对智能车自动驾驶和网联等新功能的双安全测试平台,以检验系统的可靠性和安全性。本报告介绍智能车自动驾驶系统双安全测试方向的研究内容,以及相关平台的建设。

25322985f52d2aa7ef4f04d3b4b2530d.png

任海兵(安徽深信科创信息技术有限公司

清华大学计算机系本硕博毕业,正高级工程师,目前担任深信科创研发VP,负责自动驾驶工具链的研发。任海兵曾任美团自动车高精地图部门负责人、Intel研发总监、阿里资深算法专家等,在计算机视觉、机器学习、机器人感知等方面有二十多年的研发经验,发表论文50余篇,包括CVPR,NIPS,ICCV等国际顶会,拥有专利80多项,其中美国专利20多项。

报告题目

面向大模型时代的自动驾驶仿真

摘要

自动驾驶仿真测试可以帮助自动驾驶技术快递迭代,极大地降低自动驾驶研发的开发周期和研发成本。目前仿真场景构建中存在两个主要问题:一个是人工构建成本较高,仿真场景数量少,ODD覆盖率较低,更是缺少corner case场景;另一个是人工构建的虚拟场景不够逼真,与真实场景差距很大。基于大模型技术,深信科创提出了一套完整的仿真数据闭环解决方案,将仿真技术与大数据结合,利用实车大数据构建内容更加丰富真实度更高的防真场景,并进行泛化获取更多的corner case场景。基于这些优质的场景数据,可以快速对算法进行验证,大大提高了研发效率。

a3fd03a4ba54272b70457772ce83c4a0.jpeg

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:/a/146378.html

如若内容造成侵权/违法违规/事实不符,请联系我们进行投诉反馈qq邮箱809451989@qq.com,一经查实,立即删除!

相关文章

Outlook如何精准搜索邮件

说明: 使用Outlook默认的搜索时,会出来很多无关的信息,对搜索邮件带来很大的不便,下面介绍一个使用精准搜索的方法。 操作指引: 1、在outlook左上角,进行如下操作,打开“其他命令” 2、打开快…

基于RFbeam的V-LD1-60GHz毫米波雷达传感器数据获取(通过UART串口来控制模块)

基于RFbeam的V-LD1-60GHz毫米波雷达传感器数据获取(通过UART串口来控制模块) 文章目录 V-LD1命令发送消息回复通信示例雷达数据获取宏定义通信代码运行效果附录:压缩字符串、大小端格式转换压缩字符串浮点数压缩Packed-ASCII字符串 大小端转…

大数据知识图谱项目——基于知识图谱的电影问答系统(超详细讲解及源码)

大数据知识图谱项目——基于知识图谱的电影问答系统(超详细讲解及源码) 一、项目概述 知识图谱是将知识连接起来形成的一个网络。由节点和边组成,节点是实体,边是两个实体的关系,节点和边都可以有属性。知识图谱除了…

【物联网】BDS/GNSS 全星座定位导航模块——ATGM332D-5N

随着科技的不断进步,导航系统已经成为我们日常生活中不可或缺的一部分。传统的导航系统往往只提供基本的地图和路线规划,对于一些特殊需求或个性化定位并不够满足。全星座定位导航模块的出现,为我们带来了全新的导航体验。通过结合星座学说和…

【Liunx】部署WEB服务:Apache

【Liunx】部署WEB服务:Apache 概述Apache1.介绍2.Apache文件路径3.Apache详解(1)安装Apache(2)启动Apache(3)配置文件a.Apache主配置文件:vim /etc/httpd/conf/httpd.conf信息:b.基于主机头的虚拟主机 (4)开始演示:a.新建两个网站根目录b.分别…

JavaScript从入门到精通系列第三十七篇:详解JavaScript中文档的加载顺序

文章目录 一:文档加载说明 1:回顾一个代码 2:问题分析和说明 二:如何给JS换个位置? 1:过程分析 2:代码编写 3:运行结果 4:解释说明 大神链接:作者有幸…

Python机器学习、深度学习提升气象、海洋、水文领域实践应用

Python是功能强大、免费、开源,实现面向对象的编程语言,能够在不同操作系统和平台使用,简洁的语法和解释性语言使其成为理想的脚本语言。除了标准库,还有丰富的第三方库,Python在数据处理、科学计算、数学建模、数据挖…

Latex在图表标题里面引用参考文献时,出现参考文献顺序混乱的解决方案(适用于bibtex)

问题描述 如果你在figure环境的\caption或\captionof中使用\cite,但是参考文献的顺序仍然不正确,可能是因为LaTeX的处理流程导致了这个问题。 比如图片在第二章节但里面引用了参考文献,在文章末尾的参考文献第二章图片的参考文献顺序&#…

微服务基础,分布式核心,常见微服务矿建,SpringCloud概述,搭建SpringCloud微服务项目详细步骤,含源代码

微服务基础 系统架构的演变 随着会联网的发展,网站应用的规模不断扩大,常规的应用架构已经无法应对,分布式服务架构以及微服务架构势在必行,必须一个治理系统确保架构有条不紊的演进 单体应用框架 Web应用程序发展的早期&…

如何把小米路由器刷入OpenWRT系统并通过内网穿透工具实现公网远程访问

小米路由器4A千兆版刷入OpenWRT并远程访问 文章目录 小米路由器4A千兆版刷入OpenWRT并远程访问前言1. 安装Python和需要的库2. 使用 OpenWRTInvasion 破解路由器3. 备份当前分区并刷入新的Breed4. 安装cpolar内网穿透4.1 注册账号4.2 下载cpolar客户端4.3 登录cpolar web ui管理…

【机器学习】决策树算法理论:算法原理、信息熵、信息增益、预剪枝、后剪枝、算法选择

1. 决策树概念 通过不断的划分条件来进行分类,决策树最关键的是找出那些对结果影响最大的条件,放到前面。 我举个列子来帮助大家理解,我现在给我女儿介绍了一个相亲对象,她根据下面这张决策树图来进行选择。比如年龄是女儿择偶更…

vim批量多行缩进调整

网上其他教程&#xff1a; ctrl v 或者 v进行visual模式按方向键<&#xff0c;>调整光标位置选中缩进的行Shift > &#xff08;或者 Shift < &#xff09;进行左右缩进。 我只想说&#xff0c;乱七八糟&#xff0c;根本不管用 本文教程&#xff1a; 增加缩进…

Outlook关闭过去事件的提醒

Outlook关闭过去事件的提醒 故障现象 最近Outlook中推出的新功能让我们可以选择自动关闭过去事件的提醒。 目前这个功能暂时只向当月通道的Office 365 订阅者发布。 这些用户升级到1810版本后&#xff0c;可以在不想收到已发生事件提醒的时候通过下面的步骤自动忽略过去事件…

AIGC ChatGPT4 生成Python可视化分析

使用Python进行数据分析,代码可以通过ChatGPT4来完成。 例如Prompt: 产品 销量 P1 48 P2 53 P3 82 P4 57 P5 89 P6 86 P7 30 P8 79 P9 96 将上述数据用Python通过可视化的图表来进行展示 完整代码如下: import matplotlib.pyplot as pltpr…

神经网络中的量化与蒸馏

本文将深入研究深度学习中精简模型的技术&#xff1a;量化和蒸馏 深度学习模型&#xff0c;特别是那些具有大量参数的模型&#xff0c;在资源受限环境中的部署几乎是不可能的。所以就出现了两种流行的技术&#xff0c;量化和蒸馏&#xff0c;它们都是可以使模型更加轻量级&…

视频推拉流EasyDSS直播点播平台获取指定时间快照的实现方法

视频推拉流直播点播系统EasyDSS平台&#xff0c;可提供流畅的视频直播、点播、视频推拉流、转码、管理、分发、录像、检索、时移回看等功能&#xff0c;可兼容多操作系统&#xff0c;在直播点播领域具有广泛的场景应用。为了便于用户集成、调用与二次开发。 今天我们来介绍下在…

C 语言实现 UDP

广播 发送广播信息&#xff0c;局域网中的客户端都可以接受该信息 #include <stdio.h> #include <stdlib.h> #include <unistd.h> #include <string.h> #include <arpa/inet.h>int main() {// 1.创建一个通信的socketint fd socket(PF_INET, …

RabbitMQ之消息应答和持久化

文章目录 前言一、消息应答1.概念2.自动应答3.消息应答方法4.Multiple 的解释5.消息自动重新入队6.消息手动应答代码7.手动应答效果演示 二、RabbitMQ持久化1.概念2.队列如何实现持久化3.消息实现持久化4.不公平分发5.预取值 总结 前言 在RabbitMQ中&#xff0c;我们的消费者在…

核心!华为自研系统鸿蒙趋势

鸿蒙系统的推出引起了全球的关注&#xff0c;毕竟这是华为自主研发的操作系统。这个系统有一些特点很独特。首先&#xff0c;它的自主可控性是一大特色。因为是自家研发的&#xff0c;所以更容易适应外界变化。其次&#xff0c;它采用了分布式架构&#xff0c;这样不同设备之间…

三大开源向量数据库大比拼

向量数据库具有一系列广泛的好处&#xff0c;特别是在生成式人工智能方面&#xff0c;更具体地说&#xff0c;是在大语言模型&#xff08;LLM&#xff09;方面。这些好处包括先进的索引和精确的相似度搜索&#xff0c;有助于交付强大的先进项目。 本文将对三种开源向量数据库&…