登陆
注册
1. 中国城市轨道交通发展简史；
2. 城市轨道交通的发展与组成；
3. 国产化列控系统的演进。
已有189人学习
1. 形式化方法与软件工程；
2. 形式化方法的特点与工程困境；
3. 形式化方法在需求工程中的应用；
4. 总结与探讨。
已有351人学习
运用形式化方法对AUTOSAR OS及其应用进行了建模与分析，对提高基于AUTOSAR OS开发的汽车电子软件的安全性、可靠性具有一定的促进作用。同时，系统模型的建立，能增强软件开发工程师对系统的理解，为基于模型的开发提供了便利。
已有428人学习
1. 单元测试；
2. Verification & Validation；
3. 非功能需求；
4. 函数调用覆盖率及函数覆盖率；
5. 功能安全对覆盖率的要求；
6. 成功的功能安全必做事项。
已有1423人学习
已完成
数据加载中