仿真软件检查
测量设计质量,跟踪验证活动,并验证符合标准
动态仿真模块®检查™分析模型、需求和测试,以评估设计质量和对标准的遵从性。它提供业界认可的检查和度量,在您设计时识别建模标准和指导原则的违反。受支持的高完整性软件开发标准包括ISO 26262、DO-178C、DO-254、IEC 61508、ISO 25119、IEC 62304和MathWorks咨询委员会(MAB)风格的指南。仿真软件检查还支持安全编码标准,如CERT C、CWE和ISO/IEC TS 17961。您可以创建自定义检查,以符合您自己的标准或指导方针,这些标准或指导方针可以在编辑器中直接识别遵从性问题。
仿真软件检查为评估设计的状态和质量提供诸如大小和复杂性等指标。模型测试仪表板整合来自您基于需求的测试活动的数据,以跟踪测试状态。自动模型重构允许您替换建模克隆,降低设计复杂性,并识别可重用内容。 Model Slicer工具隔离模型中的问题行为,并生成简化的模型以供调试。
对行业标准的支持可通过IEC认证套件(适用于ISO 26262及iec61508)而且DO认证套件(适用于DO-178).
开始
学习Simulink Check的基础知识
检查模型的合规
验证模型符合安全标准和指导方针
自定义模型检查
为用户创建Model Advisor检查和配置、自动化和部署
收集模型和测试指标
收集模型和测试工件的度量数据
重构模型
识别用于转换模型的建模克隆和模式
基于依赖性分析的模型简化
跟踪端口、信号和块的依赖关系,将较大的模型切成简化的独立模型
验证和确认
使用Simulink产品来2022世界杯八强谁会赢?测试模型和代码,检查设计错误,检查标准,测量覆盖率,并验证系统
工具资质和认证
通过Simulink Check的DO和IEC认证