Simulink Check

重要更新

自定义模型检查

配置、自定义和自动化自定义模型顾问检查,以确保模型符合您所在机构自己的标准和指南。

在编辑同时查找并修复错误

使用编辑时检查来标识错误,并在引入错误时就解决它们,以避免以后返工。为 Simulink®、System Composer™ 或 Stateflow® 创建自定义编辑时检查,以满足您所在组织自己的标准。

跟踪基于需求的测试

监控单元测试交付物的状态和质量,以评估基于需求的测试的完整性以及是否符合 ISO 26262 和 DO-178C 标准。

用指标度量模型质量

收集模型指标,可基于 ISO 26262、DO-178C、DO-331、DO-254、IEC 61508、IEC 62304、EN 50128 和其他标准合规性评估模型的架构、复杂度和可读性。在单个视图中集成诸如模型大小、代码行数、指南合规性状态、重用性和复杂度等指标。

自动化模型审查和报告

为审查生成模型顾问报告。对违规情况进行申诉以去除警告和错误。使用 Parallel Computing Toolbox™ 以并行方式在多台计算机上运行检查以加速合规性验证。

简化和调试复杂模型

使用模型切片器,通过基于仿真期间活动行为的静态和动态分析的组合来高亮显示功能依存关系。调试错误,例如基线测试等效性测试失败属性证明的反例整数溢出

标识和重构模型中的建模克隆

分析模型以定位克隆和重复的建模模式。自动重构以改进可维护性、提高重用性并降低设计复杂度。检测低效模式并对其重构以提高代码效率。

“我们使用 Simulink 中面向 ARP 4754 的系统设计模型,以建立稳定、客观的需求。我们使用该模型作为面向 DO-178 的软件设计模型的基础,利用该模型生成飞行代码,然后重用确认测试进行软件验证,从而节省了时间。”

Ronald Blanrue,空中客车直升机公司