GOTC 2023 “OpenSDV 软件定义汽车” 分论坛议题曝光!
大会亮点:
车企开源治理实践
汽车领域开源操作系统实践
汽车软件开源开放平台建设实践
汽车系统及软件安全合规问题思考
SDV 趋势下技术预期与应对的圆桌激辩
专题论坛出品人:OpenSDV 汽车软件开源联盟
议题:汽车软件开源开放平台的实践之路
议题:础光系列操作系统
议题:车企开源治理实践经验分享
圆桌会议:“SDV 2025”
张毅峰 | 上汽软件架构师
张家驹 | 红帽大中华区首席架构师
宁玉桥 | 中汽智联业务总监
王峰 | 安势信息技术市场总监
议题:红帽的汽车开源之路
议题:基于容器的车载操作系统应用管理解决方案
议题:KubeEdge 车云协同平台创新实践
议题:RT-Thread Smart 操作系统的实践
议题:重新思考基于 Linux 的汽车系统的安全
议题:基于 Clang 静态分析和符号执行的车规安全检测工具 ——zchecker
符号执行是一种程序分析技术,通过对程序的符号输入(而非具体值)进行推理和求解,以探索程序的所有可能执行路径。Clang 符号执行与静态分析相结合,使得在不执行程序的情况下更深入的发现代码中的潜在问题。这种方法可以找到更多复杂的错误,如条件竞争、死锁等。
兆松科技推出的 zchecker 车规安全检测工具,在 Clang 静态分析和符号执行的架构基础上,实现了 MISRA C/C++,HIS 等车规安全检测规范,本次重点分享车规安全检测工具当中是用到的过程敏感,路径敏感,抽象语法树,控制流图,爆炸图等分析技术的细节和实现挑战。
议题:基于统一开放架构的汽车数字化平台
微信扫码关注该文公众号作者
戳这里提交新闻线索和高质量文章给我们。
来源: qq
点击查看作者最近其他文章