main content

本页翻译不是最新的。点击此处可查看最新英文版本。

simulink check documentation -凯发k8网页登录

测量设计质量、跟踪验证活动并验证是否符合标准

simulink® check™ 会分析您的模型、需求和测试,以对设计质量和标准合规性进行评估。它提供行业认可的检查和指标,用于标识设计过程中违反建模标准和规范的情况。支持的高完整性软件开发标准包括 iso 26262、do-178c、do-254、iec 61508、iso 25119、iec 62304 和 mathworks 咨询委员会 (mab) 指导规范。simulink check 还支持安全编码标准,如 cert c、cwe 和 iso/iec ts 17961。您可以创建自定义检查以符合您自己的标准或规范,这些标准或规范可以直接在编辑器中标识合规性问题。

simulink check 提供了规模和复杂度等指标,用来评估设计的状态和质量。模型测试仪表板合并了基于需求的测试活动数据,用以跟踪测试状态。您可以使用自动模型重构更换建模克隆件,降低设计复杂度,并识别可重用的内容。还可以使用模型切片器工具来隔离模型中有问题的行为,并生成简化模型以用于调试。

对行业标准的支持可通过 iec certification kit (for iso 26262 and iec 61508)do qualification kit (for do-178) 获得。

simulink check 快速入门

simulink check 基础知识学习

检查模型合规性

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

自定义模型检查

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

收集模型和测试指标

收集模型和测试工件的指标数据

重构模型

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

用依存关系分析简化模型

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

验证和确认

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

工具鉴定与认证

针对 do 和 iec 认证鉴定 simulink 检查

网站地图