本页对应的英文页面已更新,但尚未翻译。 若要查看最新内容,请点击此处访问英文页面。

Simulink Check

确认符合行业指导规范和建模标准

Simulink® Check™ 提供行业认可的检查和指标,用于标识开发过程中违反标准和指导原则的情况。支持的高完整性软件开发标准包括 DO-178、ISO 26262、IEC 61508、IEC 62304 和 MathWorks 汽车咨询委员会 (MAAB) 建模规范。编辑时检查可在您编辑时识别合规性问题。您可以创建自定义检查,以确保符合您自己的标准或规范。

Simulink Check 提供大小和复杂度等指标,您可以使用这些指标来评估模型的架构和标准合规性。合并的 Metrics Dashboard 可用于评估设计状态和质量。自动模型重构可用于更换重复的设计元素,降低设计复杂度,并识别可重用的内容。Model Slicer 工具可隔离模型中有问题的行为,并生成简化模型以用于调试。

对行业标准的支持可通过 IEC 认证套件(适用于 ISO 26262 和 IEC 61508)DO 验证套件(适用于 DO-178)获得。

Simulink Check 快速入门

Simulink Check 基础知识学习

检查模型合规性

验证模型是否符合安全标准和规范

自定义模型检查

创建 Model Advisor 检查和配置、使之自动执行并部署给用户测量模型或代码覆

收集模型指标

收集模型指标数据并创建自定义模型指标

重构模型

识别建模克隆件和模式以变换模型

用依存关系分析简化模型

跟踪端口、信号和模块的依存关系,将较大的模型分割成简化的独立模型

验证和确认

使用 Simulink 产品测试模型和代码,检查设计错误,检查是否符合标准,测量覆盖率,并验证系统

工具鉴定与认证

针对 DO 和 IEC 认证鉴定 Simulink 检查