×
软件详情：模型静态验证工具Model Inspector
具体报价以实际产品为准
一） 软件介绍
随着嵌入式产业的不断发展，软件的复杂度越来越高。基于模型的开发是一种有效可行的方法，建立在模型基础之上用内置源代码的ECU控制车辆。这样的话，在第一阶段进行魔性炎症就能有有效地节约开发成本和时间，而这个重要的环节就可以用Model Inspector和Model Verifier进行。
Ø 解决方案
模型静态验证过程
Ø 主要功能
① 自动检查规则
· 一键式自动检查规则，比其他工具的检查性能更迅速
· 以项目为单位，管理模型、规则及检查结果
② 提供违背指南及搜索违背项功能
提供违背原因和修改建议；提供违背导航窗口，可轻松跟追踪违背模型位置
③ 自动修改模型
点击一次便可实现轻松快速的自动修改；基于违背修改指南进行修改
④ 提供21种模型质量指标
为帮助理解，另提供模型质量指标说明
⑤ 添加用户规则、质量指标
可生成和添加(提供生成指南)用户要求的规则、质量指标（度量）
二）支持环境
三） 测试报告
Ø 支持HTML，DOC，EXCEL，PDF格式的报告生成：
五）优势
Ø 国际认证
§ 获得SGS TÜV认证
§ 提供工具相关证书
Ø 预期效果
§ 可实现安全建模模式
§ 构成和管理建模规则
§ 缩短开发时间，降低验证成本
§ 提供面向用户的界面
§ 确保模型的质量指标
