hirain123的个人空间 https://blog.eetop.cn/1720296 [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料

日志

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

已有 975 次阅读| 2020-5-19 10:39 |个人分类:汽车电子|系统分类:硬件设计

 

原厂商

        韩国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年+,多个典型用户的建模规范咨询:
    ♦  定制产品级规范检查流程
    ♦  深度咨询服务
    ♦  定制产品级建模指南
    ♦  定制产品级模型库、建模模板


点赞

评论 (0 个评论)

facelist

您需要登录后才可以评论 登录 | 注册

  • 关注TA
  • 加好友
  • 联系TA
  • 5

    周排名
  • 15

    月排名
  • 0

    总排名
  • 0

    关注
  • 11

    粉丝
  • 0

    好友
  • 4

    获赞
  • 2

    评论
  • 20140

    访问数
关闭

站长推荐 上一条 /1 下一条

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号 京公网安备:11010502037710 )

GMT+8, 2024-3-29 01:54 , Processed in 0.019433 second(s), 8 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部