动态测试和静态分析的自动化加速行业标准认证

基于模型设计的仿真是帮助理解系统复杂设计之行为的一项关键能力。

本次演讲讨论了参考工作流程的验证功能，该工作流程采用基于模型的设计来自动化满足认证标准的手动步骤。涵盖了新的验证功能，以支持需求建模、标准检查自动化、测试和代码的形式化验证。本次演讲同时将向您展示如何在整个设计产品开发过程中系统地应用上述功能，以提高质量和生产率。

出版年份: 2020 年 7 月 16 日

了解更多

查看幻灯片

反馈

下一个:

Introduction to simulation testing of Simulink models and generated code

Simulation Testing in Model-Based Design

相关视频:

背景：本次研讨会分为两个部分:第一部分由来自TÜV南德意志大中华集团的汽车电子功能安全专家为大家引入道路车辆功能安全的概念，介绍ISO 26262标准产生的背景以及对行业的影响。通过阐述ISO 26262标准的基本概念、生命周期理念、系统化开发流程等内容，使大家初步了解ISO 26262标准框架，以及功能安全技术要求和相关开发工具之间的关联性。第二部分由MathWorks公司的工程

使用基于模型的设计开发符合ISO 26262标准的汽车电子软件

In part 3 of this webinar series, we discuss the importance of developing and enforcing a modeling standard.

Model-Based Design for DO-178C Software Development with...

Qualify code generation and verification tools for ISO 26262 and IEC 61508 certification using IEC Certification Kit.

What Is IEC Certification Kit?

Use Simulink Check to automate manual checks against modeling standards and achieve your development and certification goals.

Modeling Standards Compliance

查看更多相关视频