simulink check™ 可对您的模型、需求和测试进行分析,以评估设计质量和标准合规性。它提供行业认可的检查和指标,用于识别设计过程中违反建模标准和指南的情况。支持的高完整性软件开发标准包括 iso 26262、do-178c、do-254、iec 61508、iso 25119、iec 62304 和 mathworks advisory board 咨询委员会 (mab) 风格指南。simulink check 还支持 cert c、cwe 和 iso/iec ts 17961 等安全编码标准。您可以创建自定义检查以符合您自己的标准或指南,这些标准或指南可以直接在编辑器中标识合规性问题。
simulink check 提供了规模和复杂度等指标,以评估设计的状态和质量。模型测试仪表板可整合来自基于需求的测试活动的数据,以跟踪测试状态。自动模型重构可用于替换建模克隆,降低设计复杂度,并识别可重用的内容。模型切片器工具可以隔离模型中有问题的行为,并生成简化模型以用于调试。
配合 iec certification kit (for iso 26262 and iec 61508) 和 do qualification kit (for do-178),还可实现对行业标准的支持。
检查行业标准合规性
使用针对行业标准(例如 、、、、misra c:2012、mathworks advisory board 咨询委员会 (mab) 指南、jmaab、cert c、cwe 和 iso/iec ts 17961)的预配置检查。
在编辑同时查找并修复错误
使用编辑时检查来标识错误,并在引入错误时就解决它们,以避免以后返工。为 simulink®、system composer™ 或 stateflow® 创建自定义编辑时检查,以满足您所在组织自己的标准。
文档 |
基于模型的设计与 ci/cd 自动化
使用 ci/cd automation for simulink check™ support package 简化实施并优化适用于 simulink 的持续集成/持续部署 (ci/cd) 工作流。您可以定义 ci/cd 管道,在桌面端进行预审以避免编译失败,与诸如 jenkins® 或 gitlab® 等 ci 系统集成,并执行增量编译以减少编译时间。
衡量质量、复杂度和可维护性
使用模型指标评估模型的大小、架构和复杂度,以帮助提高工程中 matlab®、simulink® 和 stateflow® 工件的可读性、可维护性和可重用性。控制板集中显示各种指标,帮助您监控 iso 26262、do-178c、iec 61508、iec 62304、en 50128 和其他标准的合规进度。
自动化模型审查和报告
为审查生成模型顾问报告。对违规情况进行申诉以去除警告和错误。使用 parallel computing toolbox™ 以并行方式在多台计算机上运行检查以加速合规性验证。
简化和调试复杂模型
使用模型切片器,通过基于仿真期间活动行为的静态和动态分析的组合来高亮显示功能依存关系。调试错误,例如基线测试 (4:03)或等效性测试失败、属性证明的反例 (6:33)或整数溢出。
标识和重构模型中的建模克隆
分析模型以定位克隆和重复的建模模式。自动重构以改进可维护性、提高重用性并降低设计复杂度。检测低效模式并对其重构以提高代码效率。
产品资源:
“我们使用 simulink 中面向 arp 4754 的系统设计模型,以建立稳定、客观的需求。我们使用该模型作为面向 do-178 的软件设计模型的基础,利用该模型生成飞行代码,然后重用确认测试进行软件验证,从而节省了时间。”
ronald blanrue,空中客车直升机公司