SureSoft：MODEL INSPECTOR

模型静态验证工具

一、为什么选择 MODEL INSPECTOR

区别

优势

 

预期效果

 

 

二、需求

满足关键任务领域软件的检查要求

通过工具模型规则检测自动化提高工作效率

 

三、解决方案
模型静态验证过程

 

四、功能

规则自动检测

•  通过自动检查一键式规则，与其他工具相比，检查性能更快
•  在每个项目的基础上管理模型，规则和检查结果

 

支持大多数规则

• 支持711个建模规则
• 支持行业标准建模规则，如MAAB、MISRA AC SLSF
• 支持安全建模规则

违反指南及搜索

• 提供了违规原因和纠正建议
• 提供一个方便的违背项导航窗口，跟踪模型违反规则的位置

模型自动修正

 

模型质量度量指标

添加用户规则和质量指标

•  创建和添加用户所需的建模规则和模型质量指标（提供创建准则）

历史记录

五、规格

六、参考

新能源汽车，Autron公司自主开发建模规则实例

新能源汽车模型质量管理应用实例