您的模型质量诊断专家—MI

原厂商

        韩国Suresoft，是KOLAS国际公认测评机构，提升安全关键领域软件可信度。

 

 

应用分析

•  产品认证要求：行业标准（ISO-26262，DO-178C等）要求开发嵌入式软件，须进行模型静态检查

•  高模型质量要求：采用MBD模式，开发嵌入式软件10年来，广泛使用Simulink / Targetlink模型进行设计，设计质量的保证，离不开模型静态检查/规范检查，高质量模型才能生成高质量代码

•  适用的用户：

    ♦  急待提升模型设计质量、模型自动生成代码质量的企业；

    ♦  被设计风格迥异、协同开发迭代困难、多子系统集成错误定位困难等困扰的团队；

    ♦  期望在设计、验证各个环节快速保证产品质量的企业决策人。

 

基本功能

•  Model Inspector，简称MI，模型静态检查工具，支持建模规范检查、复杂度度量，检查Simulink/TargetLink模型，提高模型质量（更安全、更易用、更轻量），堪比模型界的“QAC”！

 

 

•  支持大多数国际通用规则，484条行业标准建模规则

•  支持复杂度度量：21种模型度量指标

•  违规指导：提供违规建议、纠正建议

•  违规修改：自动化修改；全程追溯定位模型违规位置

•  自动生成多种格式的报告（pdf, html, xls）

 

特色功能

•  认证资质：ISO-26262 / DO-178C / IEC61508等

 

 

•  功能更完善：

    ♦  规则更全（标准规则484条），覆盖各历史版本规则

    ♦  复杂度指标加倍（度量指标21种）

    ♦  检查程度更完备（检查规则包含的每条描述）

•  工程易用性好：

    ♦  批量模型检查

    ♦  用户定义复杂度量指标阈值

    ♦  独立性好，面向用户友好界面

•  开放扩展性好：

    ♦  用户自由裁剪、组合、编辑已有规则，用户自定义规则

 

恒润团队 & 解决方案

•  团队咨询经验丰富，MBD咨询经验10年+，多个典型用户的建模规范咨询：

    ♦  定制产品级规范检查流程

    ♦  深度培训/咨询服务

    ♦  定制产品级建模指南

    ♦  定制产品级模型库、建模模板

 

 

经纬恒润
北京市海淀区知春路7号致真大厦D座6层
邮箱：[email protected]
网址：www.hirain.com