金宝app仿真软件检查
验证符合风格指南和建模标准
金宝appSimulink的检查™提供业界公认的检查，并在开发过程中确定的标准和指南的侵犯指标。金宝app支持高完整性的软件开发标准包括DO-178，ISO 26262，IEC 61508，IEC 62304，和MathWorks公司顾问委员会（MAB）风格指南。编辑时检查识别合规性问题，你的编辑。您可以创建自定义的检查，以符合自己的标准或准则。
金宝appSimulink的检查提供了指标，如规模和复杂性，你可以用它来评估模型的架构，并符合标准。一个统一的度量仪表板，让您评估设计状态和质量。自动模式重构，您可以替换重复的设计元素，降低设计复杂性，并确定可重复使用的内容。示范切片机工具在一个模型中隔离有问题的行为，并产生一个简化的模型用于调试。
金宝app可以通过以下方式获得对行业标准的支持IEC认证工具包（用于ISO 26262和IEC 61508）和DO资格认证套件(DO-178)。
开始:
用于开发高完整性软件的随时可用的检查
为了提高质量和车型的安全性和生成的代码，Simulink的检查提供了预配置的行业标准，如DO-178C检查，DO-331，ISO 2金宝app6262，IEC 61508和EN 50128以及MISRA C：2012年，MAB风格指南，IEC 62304标准开发高完整性的软件和安全编码标准，如CERT C，CWE和ISO / IEC 17961 TS。
使用结果和建议的操作交互式报表。
识别并修复错误，编辑
就像拼写检查可以帮助您避免文档中的拼写错误一样，编辑时检查在编辑模型时通知您违规情况。在开发过程的后期，您可以纠正错误，以最小化昂贵的返工和额外的测试。
检测并在设计时解决合规性问题。
配置、自定义和自动化模型检查
为确保您的模型符合您的组织自己的标准或准则，你可以定制模型的检查和使用模型顾问API或模型顾问配置编辑器配置。您可以同时运行在多台机器检查，以加快符合性验证。
创建使用模型顾问配置编辑器定制检查。
检查是否符合安全标准
以改进生成代码的遵从性CERTC，CWE和ISO / IEC 17961 TS，您可以检查您的模型，以识别可能引入编码标准遵从性的潜在建模构造。
检测可能降低生成代码的安全编码标准遵从性的块。
收集度量模型
金宝appSimulink Check收集模型度量，您可以使用这些度量来评估模型的体系结构、复杂性和可读性，以符合DO-178、DO-331、IEC 61508、IEC 62304、ISO 26262和EN 50128标准。
使用模型度量API收集自定义指标。
使用仪表板查看合并的指标
Metrics指示板将模型大小、代码行数、准则遵从性状态、重用和复杂性等指标集成到一个视图中，为您提供对项目质量的洞察。
度量仪表板，用设计状态的统一视图。
亮点依赖
模型切片器使用静态依赖关系分析来突出块、信号和模型组件之间的相互依赖关系，并在模拟期间基于活动行为进行动态依赖关系分析，以更好地理解大型或复杂模型中的功能依赖关系。
创建简化的单机模式
模型切片机可以隔离基于用户指定的开始点的模型的一部分，记录信号或模拟时间窗口并保存它作为一个较小的模型，该模型调试蜜饯仿真行为以帮助并提高性能。
对于切片模型的高亮部分。
基于活动的时间片用Stateflow的
在模拟期间，只有Stateflow™中选定的状态和转换同时处于活动状态，以隔离感兴趣的行为，此时可以将模型突出显示限制为模拟时间间隔。
当一个状态处于活动状态时，识别活动逻辑。
识别和重构建模克隆
该识别模型克隆工具分析模型，以查找重复的造型图案。这些重复的克隆可以，然后用可重复使用的库，以提高可维护性，降低设计复杂性自动重构。
转换模型以提高组件的可重用性和模型的可读性
示范变压器工具识别建模模式，可以转化为变体源或变体子系统块和refactors模型以提高模型组件化和可重用性。它可以识别出可以消除以提高可读性数据存储块。
找到可以用变量替换的建模模式。
额外的JMAAB 5.1检查
根据JMAAB 5.1建模风格指南自动检查模型
在代码透视图中进行编辑时检查
确定没有代码生成支持的块金宝app
自动克隆重构应用
检测子系统或库模式克隆、重构和检查重构模型的等价性
看到发行说明有关这些功能和相应功能的详细信息。
11和最佳实践开发ISO 26262级的应用程序使用Simulink金宝app
管理模型界面的复杂性和数据交换。产生干扰和文件分离的自由代码。提高整体效率的验证，验证和文件阶段。
