中国教育装备采购网 【立即登录】 【免费注册】
资讯
专题
人物访谈
政府采购
产品库
求购库
企业库
院校库
案例·技术
会展信息
行业日历
体采通
您的模型质量诊断专家—MI
  • 您的模型质量诊断专家—MI
  • 您的模型质量诊断专家—MI
  • 您的模型质量诊断专家—MI
  • 您的模型质量诊断专家—MI
  • 您的模型质量诊断专家—MI
  • 您的模型质量诊断专家—MI

    产品报价: 面议
    产品型号: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年+,多个典型用户的建模规范咨询:

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

      ?  深度培训/咨询服务

      ?  定制产品级建模指南

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

    访客留言
    姓名
    电话
    单位
    信箱
    留言内容
    提交留言
    同类产品推荐