登陆
注册
1. 形式化方法回顾；
2. 浅析汽车电子功能安全标准；
3. 形式化方法在汽车电子功能安全中应用。
已有175人学习
1. 背景介绍 自动驾驶发展历程；
2. 预期功能安全(SOTIF)开发流程总则；
3. 预期功能安全(SOTIF)各阶段流程精讲；
4. 预期功能安全(SOTIF)开发流程实例；
5. 预期功能安全(SOTIF)案例详解；
6. 预期功能安全(SOTIF)开发中的离线学习安全分析。
已有108人学习
1. 汽车电子及功能安全发展概况；
2. 功能安全分析流程；
3. 案例讲解。
已有94人学习
1. 节能减排基础理论研究；
2. 节能减排实施路径规划；
3. 行业标杆解读；
4. 案例分享。
已有205人学习
1. 中国城市轨道交通发展简史；
2. 城市轨道交通的发展与组成；
3. 国产化列控系统的演进。
已有189人学习
1. 形式化方法与软件工程；
2. 形式化方法的特点与工程困境；
3. 形式化方法在需求工程中的应用；
4. 总结与探讨。
已有351人学习
运用形式化方法对AUTOSAR OS及其应用进行了建模与分析，对提高基于AUTOSAR OS开发的汽车电子软件的安全性、可靠性具有一定的促进作用。同时，系统模型的建立，能增强软件开发工程师对系统的理解，为基于模型的开发提供了便利。
已有428人学习
1. 单元测试；
2. Verification & Validation；
3. 非功能需求；
4. 函数调用覆盖率及函数覆盖率；
5. 功能安全对覆盖率的要求；
6. 成功的功能安全必做事项。
已有1423人学习
已完成
数据加载中