simulink check 产品信息 -凯发k8网页登录

检查行业标准合规性

使用针对行业标准(例如 、、、、misra c:2012mathworks advisory board 咨询委员会 (mab) 指南jmaabcert 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 系统集成,并执行增量编译以减少编译时间。

跟踪基于需求的测试

监控单元测试交付物的状态和质量,以评估基于需求的测试的完整性以及是否符合 和 do-178c 标准。使用 sil 代码测试控制板和 pil 代码测试控制板中的度量结果评估软件在环 (sil) 和处理器在环 (pil) 测试的代码测试状态和质量。

衡量质量、复杂度和可维护性

使用模型指标评估模型的大小、架构和复杂度,以帮助提高工程中 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,空中客车直升机公司
网站地图