金宝app仿真软件检查
测量设计质量,跟踪验证活动,验证与标准的符合性
金宝appSimulink Check™分析您的型号,要求和测试,以评估设计质量和遵守标准。它提供了在开发期间识别建模标准和指南违规的行业认可的检查和指标。金宝app支持的高完整性软件开发标准包括ISO 26262,DO-178C,DO-254,IEC 61508,ISO 25119,IEC 62304和MathWorks咨询委员会(MAB)风格指南。金宝appSimulink Check还金宝app支持Cert C,CWE和ISO / IEC TS 17961等安全编码标准。您可以创建自定义检查以遵守自己的标准或指南。编辑时间检查在编辑时识别合规性问题。
金宝appSimulink检查提供了评估设计状态和质量等规模和复杂性等度量。模型测试仪表板可以从基于需求的测试活动中整合数据以跟踪测试状态。自动模型重构允许您替换建模克隆,降低设计复杂性,并确定可重用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.
金宝app对行业标准的支持可以通过IEC认证套件(对于ISO 26262和IEC 61508)和DO资格检定套件(适用于DO-178及DO-254).
开始:
开发高完整性软件的即用检查
为了提高模型和生成的代码的质量和安全性,Simulink检查提供了预配置的检查,以符合ISO 26262,DO-178C,DO-33金宝app1,DO-254,IEC 61508,ISO 25119以及EN 50128等行业标准作为Misra C:2012,Mathworks顾问委员会(MAB)指南,IEC 62304开发高完整性软件的标准,以及证书C,CWE和ISO / IEC TS 17961等安全编码标准。
在编辑时识别和修复错误
就像拼写检查可以帮助您避免文档中的拼写错误一样,编辑时检查会在您编辑模型时通知您违反规定的情况。在开发过程后期,您可以纠正错误,以最小化代价高昂的返工和额外的测试。
配置、自定义和自动化模型检查
为确保您的型号符合您组织的自身标准或指南,可以使用Model Advisor API或Model Advisor Configuration Editor定制建模检查和配置。您可以并行运行多个计算机上的检查,以加速合规验证。
检查是否符合安全标准
减少生成的代码中的合规性问题CETC,CWE和ISO / IEC TS 17961,您可以检查您的模型以识别可能引入编码标准合规性违规的建模构造。编辑时间检查可以将问题识别为更改,例如添加不建议用于安全编码标准的块。
收集模型指标以测量质量
金宝appSimulink Check收集模型指标,您可以用来评估模型的架构,复杂性和可读性,符合ISO 26262,DO-178C,DO-331,DO-254,IEC 61508,IEC 62304,EN 50128和其他标准。
使用仪表板查看整合指标
Metrics Dashboard将模型大小、代码行数、准则遵从性状态、重用和复杂性等指标集成在一个视图中,为您提供对项目质量的洞察。在模型评审过程中,使用仪表板来评审设计的质量和对标准的遵从性。
基于需求的测试指标
模型测试仪表板提供了基于需求测试的质量和完整性的概述,并反映了行业公认的软件开发标准(如ISO 26262和DO-178)中的指导方针。它从多个来源和工具(如需求、模型和测试结果)分析项目中的工件,并提供关于它们状态的详细度量方法。
仪表板小部件总结了每种指标,以便快速评估测试当前的测试结果,包括遵守指南,完成要求的测试,以及测试所涵盖的要求百分比。
审查和管理基于要求的测试伪影
模型测试仪表板分析项目中的工件和可跟踪性链接,并在artifacts面板中显示项目中每个组件的功能需求、测试用例和测试结果。为了帮助您识别实现或验证中的差距,将突出显示对模型没有追溯性的工件。
根据ISO 26262评估测试的完整性
根据ISO 26262- 6:18,使用模型测试仪表板来评估基于需求的测试活动的质量和完整性。仪表板监视需求、测试和测试结果之间的可跟踪性。它分析项目中的实现和验证工件,并根据ISO 26262- 6:18为基于需求的测试用例和测试结果提供完整性和质量度量。仪表板将需求、测试用例和测试结果组织在它们所追踪的模型下,为您提供对每个单元的测试完整性和结构覆盖的洞察。
突出依赖性
模型Slicer使用静态依赖性分析来突出显示块,信号和模型组件的相互依赖性以及基于模拟期间的主动行为的动态依赖性分析,以帮助您更好地了解大型或复杂模型中的功能依赖关系。
调试设计错误或测试失败
当在Simulink test™中的测试失金宝app败或在Simulink Design Verifier™中识别出属性违反时,使用Model Slicer启动调试,以隔离错误的原因并更快地解决问题。
创建简化的独立模型
模型切片器可以基于用户指定的起始点,记录信号或模拟时间窗口隔离模型的一部分,并将其另存为较小的模型,以保留模拟行为以帮助调试和提高性能。
基于活动的时间流与状态流切片
当仅选定的状态和状态流中的转换时,模型突出显示可能会受到模拟时间间隔®在模拟过程中同时活跃,以隔离感兴趣的行为。
识别和重构建模克隆
识别建模克隆工具分析模型以定位重复的建模模式。然后可以使用可重用的库自动重新使用这些重复的克隆,以提高可维护性并降低设计复杂性。
转换模型以提高组件的可重用性和模型的可读性
模型变压器工具识别可以将模型模式转换为变体源或变体子系统块,并重新推荐模型以提高模型分量和可重用性。它可以识别可以消除以提高可读性的数据存储块。
模型测试仪表板
跟踪基于需求的完整性,以遵守ISO 26262等标准的测试
错误调试工作流
突出显示在基线测试中影响失败信号或导致设计错误(如model Slicer溢出)的模型组件
ISO 25119检查
验证符合ISO 25119标准
模型顾问排除编辑器
使用升级的,可自定义的编辑器编辑和管理排除
模型顾问度量检查性能
通过简化的子系统深度和循环复杂度度量更快地收集和分析模型度量数据
克隆检测
通过用子系统参考块替换确切的克隆,重构模型
高完整性系统检查
使用Simulink Design Verifier检测高完整性指南违规金宝app
MAB / JMAAB指南
选择个别的指南子id以更好地控制指南检查
看到发行说明有关这些特性和相应功能的详细信息。
11使用Simulink开发ISO 26262应用程序的最佳实践金宝app
管理模型界面复杂性和数据交换。生成代码,具有干扰自由和文件的分离。提高验证,验证和文档阶段的整体效率。