万博1manbetxSimulink检查
测量设计质量，跟踪验证活动，并验证符合标准
万博1manbetxSimulink检查™ analyzes your models, requirements, and tests to assess design quality and compliance with standards. It provides industry-recognized checks and metrics that identify modeling standard and guideline violations during development. Supported high-integrity software development standards include ISO 26262, DO-178C, DO-254, IEC 61508, ISO 25119, IEC 62304, and MathWorks Advisory Board (MAB) style guidelines. Simulink Check also supports secure coding standards such as CERT C, CWE, and ISO/IEC TS 17961. You can create custom checks to comply with your own standards or guidelines. Edit-time checks identify compliance issues as you edit.
万博1manbetxSimulink检查提供了评估设计状态和质量等规模和复杂性等度量。模型测试仪表板可以从基于需求的测试活动中整合数据以跟踪测试状态。自动模型重构允许您替换建模克隆，降低设计复杂性，并确定可重用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.
万博1manbetx通过支持行业标准IEC Certification Kit (for ISO 26262 and IEC 61508)and做资格套件（对于DO-178和DO-254）。
开始：
用于开发高完整性软件的即时支票
To improve the quality and security of models and generated code, Simulink Check provides preconfigured checks for compliance with industry standards such as ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, ISO 25119, and EN 50128 as well as MISRA C:2012, MathWorks Advisory Board (MAB) Guidelines, IEC 62304 standards for developing high-integrity software, and secure coding standards such as CERT C, CWE, and ISO/IEC TS 17961.
Interactive report with results and recommended actions.
在编辑时识别和修复错误
很像拼写检查有助于您避免在文档中拼写错误，编辑时间检查在编辑模型时通知您违规。您可以根据您进行纠正错误，以最大限度地减少昂贵的返工和在开发过程中延迟额外测试。
Detect and fix compliance issues at design time with edit-time checking.
配置，自定义和自动模型检查
为确保您的型号符合您组织的自身标准或指南，可以使用Model Advisor API或Model Advisor Configuration Editor定制建模检查和配置。您可以并行运行多个计算机上的检查，以加速合规验证。
Create custom checks using the Model Advisor Configuration Editor.
检查是否符合安全标准
To reduce compliance issues in your generated code forCERTC, CWE, and ISO/IEC TS 17961，您可以检查您的模型以识别可能引入编码标准合规性违规的建模构造。编辑时间检查可以将问题识别为更改，例如添加不建议用于安全编码标准的块。
检测可以减少生成的代码的安全编码标准符合性的块。
Collect Model Metrics to Measure Quality
万博1manbetxSimulink检查collects model metrics that you can use to assess your model’s architecture, complexity, and readability in compliance with ISO 26262, DO-178C, DO-331, DO-254, IEC 61508, IEC 62304, EN 50128, and other standards.
收集和自定义模型指标以评估质量。
使用仪表板查看合并的指标
指标仪表板在单个视图中集成了诸如型号大小，代码行，指南规范状态，重用和复杂性等度量，为您提供了对项目质量的洞察力。使用仪表板在模型审核过程中审核设计和符合标准的质量。
度量标准仪表板具有统一的设计状态视图。
基于要求的测试指标
模型测试仪表板提供了基于需求的测试质量和完整性的概述，并反映了ISO 26262和DO-178等行业知识的软件开发标准中的指南。它分析了从多个来源和工具中的项目中的工件，如要求，模型和测试结果，并提供完整的状态测量值。
仪表板小部件总结了每种指标，以便快速评估测试当前的测试结果，包括遵守指南，完成要求的测试，以及测试所涵盖的要求百分比。
审查和管理基于要求的测试伪影
模型测试仪表板分析了项目中的工件和可跟踪性链接，并显示了工件面板中项目中每个组件的功能要求，测试用例和测试结果。为了帮助您确定实施或验证中的差距，突出显示没有可追溯性的文物。
The dashboard shows you which artifacts are not traced to a component in the project.
根据ISO 26262评估测试完整性
使用模型测试仪表板以根据ISO 26262-6：2018评估基于需求的测试活动的质量和完整性。仪表板监视要求，测试和测试结果之间的可追溯性。它分析了项目中的实施和验证工件，并为基于要求的测试用例和根据ISO 26262-6：2018的测试结果提供了完整性和质量指标。仪表板在其追踪的模型下组织了要求，测试用例和测试结果，为您提供对每个单元的测试完整性和结构覆盖的洞察力。
单击仪表板小部件以查看ISO 26262的表中的公制详细信息。
突出依赖性
模型Slicer使用静态依赖性分析来突出显示块，信号和模型组件的相互依赖性以及基于模拟期间的主动行为的动态依赖性分析，以帮助您更好地了解大型或复杂模型中的功能依赖关系。
调试设计错误或测试故障
当在Simulink Test™中的测试失万博1manbetx败时，在Simulink Design Verifier™中识别出属性违规时，请使用模型切片机启动调试以隔离错误原因并更快地解决问题。
创建简化的独立模型
Model Slicer can isolate a portion of the model based on a user-specified starting point, logged signals, or simulation time window and save it as a smaller model that preserves simulation behavior to help debugging and improve performance.
突出显示一个模型的一部分，可以切成一个简化的调试模型。
Activity-Based Time Slicing with Stateflow
当仅选定的状态和状态流中的转换时，模型突出显示可能会受到模拟时间间隔®在模拟期间同时活跃以隔离感兴趣的行为。
在状态处于活动状态时识别活动逻辑。
识别和重构模拟克隆
识别建模克隆工具分析模型以定位重复的建模模式。然后可以使用可重用的库自动重新使用这些重复的克隆，以提高可维护性并降低设计复杂性。
转换模型以提高组件可重用性和模型可读性
帕特模型变压器工具识别建模terns that can be transformed into Variant Source or Variant Subsystem blocks and refactors the model to improve model componentization and reusability. It can identify data store blocks that can be eliminated to improve readability.
查找可以用VARIANTS替换的建模模式。
模型测试仪表板
跟踪基于需求的完整性，以遵守ISO 26262等标准的测试
错误调试工作流程
Highlight model components that impact failing signals in a baseline test or cause design errors such as overflow with Model Slicer
ISO 25119检查
验证是否符合ISO 25119标准
模型顾问排除编辑器
使用升级的，可自定义的编辑器编辑和管理排除
模型顾问度量标准检查性能
Collect and analyze model metric data faster with simplified Subsystem depth and cyclomatic complexity metrics
Clone Detection
Refactor models by replacing exact clones with Subsystem Reference blocks
高完整性系统检查
使用Simulink Design Verifier检测高完整性指南违规万博1manbetx
MAB/JMAAB Guidelines
选择单个指南子ID，以便更好地控制指南检查
看到release notes有关这些功能的详细信息和相应的功能。
11 Best Practices for Developing ISO 26262 Applications with Simulink
Manage model interface complexity and data exchanges. Generate code with freedom of interference and separation of files. Increase overall efficiency in the verification, validation, and documentation phases.
