原厂商

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


您的模型质量诊断专家—MI_第1张图片


应用分析

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

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

•  适用的用户:

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

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

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

基本功能

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


您的模型质量诊断专家—MI_第2张图片


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

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

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

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

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


您的模型质量诊断专家—MI_第3张图片


特色功能

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


您的模型质量诊断专家—MI_第4张图片


•  功能更完善:

    ♦  规则更全(标准规则484条),覆盖各历史版本规则

    ♦  复杂度指标加倍(度量指标21种)

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

•  工程易用性好:

    ♦  批量模型检查

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

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

•  开放扩展性好:

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

恒润团队 & 解决方案

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

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

    ♦  深度培训/咨询服务

    ♦  定制产品级建模指南

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

您的模型质量诊断专家—MI_第5张图片


您的模型质量诊断专家—MI_第6张图片

经纬恒润

北京市海淀区知春路7号致真大厦D座6层

邮箱:[email protected]

网址:www.hirain.com