模型静态验证工具

一、为什么选择MODEL INSPECTOR

区别

优势

预期效果

二、需求

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

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

三、解决方案

模型静态验证过程

四、功能

规则自动检测

通过自动检查一键式规则，与其他工具相比，检查性能更快

在每个项目的基础上管理模型，规则和检查结果

支持大多数规则

支持711个建模规则

支持行业标准建模规则，如MAAB、MISRA AC SLSF

支持安全建模规则

违反指南及搜索

提供了违规原因和纠正建议

提供一个方便的违背项导航窗口，跟踪模型违反规则的位置

模型自动修正

模型质量度量指标

添加用户规则和质量指标

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

历史记录

五、规格

六、参考

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

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

公司名称：北京哲想软件有限公司

北京哲想软件官方网站：cogitosoft.com

北京哲想软件微信公众平台账号：cogitosoftware

北京哲想软件微博：哲想软件

北京哲想软件邮箱：sales@ cogitosoft.com

销售（俞先生）联系方式： 86（010）68421378

微信：18610247936     QQ：368531638