金宝app®检查™分析模型、需求和测试,以评估设计质量和符合标准的情况。它提供了行业认可的检查和度量,用于识别开发过程中建模标准和指南的违规情况。金宝app支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks咨询委员会(MAB)风格指南。金宝app仿真软件检查也支持安全金宝app编码标准,如CERT C, CWE,和ISO/IEC TS 17961。您可以创建自定义检查,以符合您自己的标准或指导方针。编辑时检查在编辑时识别遵从性问题。
金宝app仿真软件检查提供诸如大小和复杂性等指标,以评估设计的状态和质量。模型测试仪表板整合了来自基于需求的测试活动的数据,以跟踪测试状态。自动模型重构允许您替换建模克隆,减少设计复杂性,并识别可重用内容。 模型切片器工具隔离模型中的问题行为,并生成用于调试的简化模型。
金宝app对行业标准的支持可以通过以下方式获得IEC认证套件(适用于ISO 26262和IEC 61508)和DO资格测试套件(适用于DO-178)。
学习Simulink检查的基础知识金宝app
验证模型符合安全标准和指南
为用户创建Model Advisor检查和配置、自动化和部署
收集模型度量数据并创建自定义模型度量
识别用于转换模型的建模克隆和模式
跟踪端口、信号和块的依赖关系,将较大的模型分割成简化的独立模型
使用Si金宝appmulink产品测下载188bet金宝搏试模型和代码,检查设计错误,对照标准,测量覆盖率,并验证系统
验证Simuli金宝appnk的DO和IEC认证