万博1manbetx®CHECK™分析您的模型,要求和测试,以评估设计质量和遵守标准。它提供了在开发期间识别建模标准和指南违规的行业认可的检查和指标。万博1manbetx支持的高完整性软件开发标准包括ISO 26262,DO-178C,DO-254,IEC 61508,ISO 25119,IEC 62304和MathWorks咨询委员会(MAB)风格指南。万博1manbetxSimulink检查还支持安全万博1manbetx编码标准,如CERT C,CWE和ISO / IEC TS 17961。您可以创建自定义检查以遵从您自己的标准或指南。编辑时间检查在编辑时识别合规性问题。
万博1manbetxSimulink检查提供指标,例如尺寸和复杂性,用于评估您设计的状态和质量。模型测试仪表板可以从基于需求的测试活动中整合数据以跟踪测试状态。自动模型重构允许您替换建模克隆,降低设计复杂性,并确定可重用的内容。 The Model Slicer tool isolates problematic behavior in models and generates simplified models for debugging.
万博1manbetx通过支持行业标准IEC认证套件(对于ISO 26262和IEC 61508)和做资格套件(DO-178)。
了解Simulink检查的基础知识万博1manbetx
验证符合安全标准和指南的型号
为用户创建模型顾问检查和配置,自动化和部署
收集模型和测试工件的度量数据
识别建模克隆和模式以转换模型
追踪端口,信号和块的依赖性,将较大的模型切成简化的独立模型
使用Si万博1manbetxmulink产品测s manbetx 845试模型和代码,检查设计错误,检查标准,测量覆盖范围,并验证系统
符合Simuli万博1manbetxnk检查DO和IEC认证