Simulink Check

新产品

验证是否符合风格指南和建模标准

Simulink Check™ 提供行业认可的检查和指标,以识别开发过程中的标准和指南违规。支持的高完整性软件开发标准包括 DO-178、ISO 26262、IEC 61508、IEC 62304 和 MathWorks Automotive Advisory Board (MAAB) 风格指南。编辑时检查可在编辑时识别合规性问题。您可以创建自定义检查以符合您自己的标准或指南。

Simulink Check 提供大小和复杂度等指标,可用于评估模型的架构和标准合规性。整合的指标仪表板可让您评估设计状态和质量。自动模型重构可让您替换重复的设计元素,降低设计复杂度,以及识别可重用内容。

通过 IEC Certification Kit(符合 ISO 26262 和 IEC 61508)DO Qualification Kit(符合 DO-178)可提供对行业标准的支持。


功能

使用标准检查模型质量

使用针对如下标准预配置的检查来验证是否符合如下风格指南和建模标准:DO-178、ISO 26262、IEC 61508、IEC 62304、MISRA C:2012 和 CERT-C。

了解更多

在编辑时识别并修复错误

接收合规性问题通知提示,以便在开发早期避免违规。

了解更多

配置、自定义和自动化模型检查

定制建模检查和配置,以满足您的特定合规性和指南目标。

了解更多

测量和查看模型指标

使用多种基于模型设计工具的指标评估您的项目状态。

了解更多

重构模型以改进设计和实现组件重用

识别克隆和建模模式以重构模型,从而改进组件重用。

了解更多

产品资源

通过浏览这些资源,探索有关 Simulink Check 的更多信息。

文档

浏览 Simulink Check 函数和功能文档,包括发行说明和代码示例

功能

浏览可用 Simulink Check 函数的列表

系统要求

查看最新 Simulink Check 版本的系统要求

技术文章

查看使用 Simulink Check 方面的文章,了解可以带来的技术优势

用户案例

了解 Simulink Check 正在如何推动您所在行业内的研发步伐

社区和支持

查找问题答案并浏览故障排除资源


试用或购买

开始使用Simulink Check 产品有多种方式。 下载免费试用版, or 了解定价和许可选项。

获取免费试用版

试用 Simulink Check。

获取试用版

准备购买?

购买 Simulink Check 并了解附加产品。

联系销售
定价和许可

有疑问吗?

Paul

联系 Paul Urban,
Simulink Check 技术专家

给 Paul 发送电子邮件

Simulink Check 需要: MATLAB, Simulink


相关解决方案

使用 Simulink Check 来解决科技与工程上的挑战:


新闻与事件

这个演讲介绍了Simulink Verification and Validation和Simulink Design Verifier,它突出显示了用于测试多种组件的先进的验证和确认技术(包含结构覆盖分析和形式化方法)
了解 MathWorks 工程师对 Simulink 和基于模型的设计的看法.

使用模型标准检查改进设计效率