课程名称:软件(模型)静态分析技术及最佳实践
课程背景: 基于iso 26262对mbd技术和过程的标准化要求,对于汽车嵌入式软件开发过程的要求及建议,需要在软件启动阶段、单元设计与实施阶段进行软件静态分析验证;同时结合基于模型方式进行软件开发的过程特点,总结为与规范化建模相关的活动。一套完整的建模规范是综合考虑模型本身规范性、考虑代码进而要到达的模型的规范性,两者相辅相成。
在软件开发过程中应用使用静态分析技术可以有效提升软件开发工程师间协同效率,减轻系统工程师软件集成时的负担,在软件测试前期避免和改进部分开发错误,有效减低开发成本,缩短开发周期。
本课程将重点讲解软件(模型)静态分析技术,如:建模规范来源、与功能安全标准对应关系、重点建模规范应用方法。定制项目许用库、建模模板、建模规范检查表单和代码生成模板方法。建模规范检查工具的使用方法等。同时结合实际项目分享经验与心得。
通过此培训能够使工程师对软件(模型)静态分析技术有了宏观的认识,了解项目实施中高品质建模规范的理念,掌握一般的规范要求包括架构、模块、数据等;掌握模型配置选项的基本要求。
经纬恒润讲师团队成员,具有多年的基于模型开发(mbd)咨询、功能安全咨询的服务经验,精通符合行业标准的基于模型的高安全、高可靠的嵌入式软件的开发、测试验证、嵌入式部署流程,并多次担任经纬恒润相关对外培训和线下研讨会讲师,具有丰富的实战项目经验以及培训辅导经验,得到众多学员的认可。
● 课时:1天
● 必备知识:具有simulink使用基础
● 授课对象:应用层软件仿真与开发测试验证的人员
课程内容:软件(模型)静态分析技术及最佳实践
● 课程目标:
1)了解功能安全要求的软件(模型)静态分析技术内容;
2)了解重点建模规范应用方法;
3) 了解软件(模型)静态分析检查工具。
● 课程内容:
1)软件(模型)静态分析技术概述
2)建模规范分类来源
3)重点建模规范应用方法
4)定制项目许用模块库方法
5)定制规范检查表单(checklist)方法
6)定制建模模板方法
7)定制代码生成模板方法
8) 建模规范自动化检查工具
● 总结:对软件(模型)静态分析技术有了宏观的认识,了解项目实施中高品质建模规范的理念,掌握一般的规范要求包括架构、模块、数据等;掌握模型配置选项的基本要求。
服务优势:
● 1000多人的研发团队是培训业务的基础
● 70多门专业课程可以按需选择和定制
● 10多年培训服务的经验是培训质量的保证
● 10人小班公开课有利于培训效果
● 培训后提供持续的技术服务