simulink check 快速入门 -凯发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) 获得。

教程

使用行业认可的检查和指标来识别违反标准和规范的情况。

• 步骤 1:
• 步骤 2:
• 步骤 3:
• 步骤 4:
• 
  

  simplify simulation, debugging, and formal analysis of large complex models by focusing on an area of interest.

• 
  

  use dashboard metrics to track the status and quality of testing activities.

精选示例

explore status and quality of testing activities using model testing dashboard

evaluate the status and quality of model testing in your project.

monitor the complexity of your design using the model maintainability dashboard

assess the size, complexity, and architecture of your design.

视频

了解编辑时检查如何在编辑时识别 simulink 或 stateflow 中的规范或标准合规问题。

使用模型顾问验证是否符合标准

按照 do-178c 和 do-331 执行静态分析，以验证模型标准、一致性和准确度。