1.形式化方法基本原理
2.模型检查基本原理
3.定理证明基本原理
4.可满足性分析应用案例
……
已有180人学习
1.智能网联汽车数据安全风险
2.国内外相关法规标准要求
3.数据安全合规关键技术
……
已有214人学习
1.车规芯片特点(AEC-Q100,功能安全,信息安全)
2.典型座舱/智驾芯片架构介绍(功能安全,信息安全设计)
3.电动化时代车规芯片的新要求(Mission profile等)
4.智能化时代大算力芯片的发展(异构,存算一体,CXL,以太网)
已有289人学习
1.新能源智能汽车功能安全关键概念
2.新能源智能汽车高压电源系统、控制系统电源逻辑功能安全设计案例分析
3.新能源智能汽车域控制器冗余架构案例分析
……
已有256人学习
1. 模型检查技术的基本原理
2. 主流模型检查技术的案例解析
3. 一个基于模型检查的小的SEC应用
……
已有212人学习
1. 标准及标准中的测试
2. 需求、现状、问题
3. 解决思路与方案
4. 强标探讨(部分)
……
已有161人学习
1. 软件测试技术的基本原理和Oracle自动判定问题
2. 蜕变测试技术原理和应用案例
3. 基于性质测试技术原理和应用案例
……
已有184人学习
1. 机器人应用案例
2. 机器人的灵巧移动
3. 机器人的抓持操作
……
已有172人学习
1. 智能网联汽车网络安全和数据安全政策要求
2. 密码技术及其在典型行业应用
3. 基于PKI体系的车联网密码安全建设方案
……
已有164人学习
1. 软件工程与形式化方法简介
2. 形式化方法在工程中落地的机遇与挑战
3. 形式化工程方法的实践案例
……
已有603人学习
1. 国际准入法规及标准现状
2. 国内准入法规及标准现状
3. 零部件网络安全工程主要环节
4. 网络安全验证和测试工作
5. 面向GSR2.0及国内准入的网络安全验证测试合规方案
已有191人学习
1. ASPICE软件测试过程域简介
2. 测试实例分享
……
已有199人学习
形式化方法理论与应用初探
智能网联汽车数据安全合规技术分享
车规芯片的特点及算力芯片发展趋势
新能源智能汽车功能安全及案例分析
模型检查验证技术原理与其在芯片验证中的案例应用
汽车网络安全测试方法探讨
软件测试Oracle自动判定技术和探索
智能机器人的灵巧移动与抓持操作
基于PKI体系的车联网密码安全建设方案
形式化方法的工程化及国产工具研发与应用
汽车零部件如何满足OEM国内外网络安全准入合规
基于ASPICE的汽车软件测试方法及实践
已完成
数据加载中