北京经纬恒润科技股份有限公司

产品中心
当前位置:自动化网>北京经纬恒润科技股份有限公司门户>您的模型质量诊断专家—MI

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

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

分类:其它
品牌:北京经纬恒润科技
厂商:北京经纬恒润科技股份有限公司
型号:MI
相关行业:

发布时间:2020-05-19 10:36
浏览人数:

产品详情

原厂商

        韩国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层
邮箱:market_dept@hirain.com
网址:www.hirain.com


联系方式

中国自动化网安全提示,在购买供应商商品时,请一定要先审核好企业信息是否真实,谨防网上诈骗。
公司名称:北京经纬恒润科技股份有限公司
联系人: 北京经纬恒润科技股份有限公司
联系电话:01064840808
手机号:
传 真:010-82263100
电子信箱:market_dept@hirain.com
公司网站:http://www.hirain.com
公司地址:致真大厦D座6层
  • 在线咨询