概述
根据IEC 61508、ISO 26262、IEC 62304或相关标准进行嵌入式软件开发，在模型和代码的验证和确认方面面临许多挑战。工程师、项目经理和质量保证经理都参与到将标准的安全目标与开发过程级别的操作约束相匹配的过程中。
嵌入式Coder和MathWorks模型以及代码验证和验证工具(如Requirements Toolbox、Simulink Test和Polyspace Products)已广泛应用于汽车和其他行业，用于开发万博1manbetx需要满足功能安全需求的产品。s manbetx 845
在本次网络研讨会上，来自MathWorks的工程师将介绍使用这些工具的嵌入式软件开发工作流，这些工具保证了一个健壮和高效的工作流。了解更多关于基于模型的设计如何支持简化您的开发过程，特别是验证和验证任务以及工具万博1manbetx确认或工具验证。
突出了
- 基于模型的系统工程
- 基础测试
- 模型分析与验证
- 生成代码的验证
- 确保生成的和手写的代码符合MISRA
- 工具确认/验证
关于主讲人
Marc Segelken博士，首席应用工程师
高级应用工程师Tjorben Gross博士
