您的模型质量诊断专家—MI-汽车电子-和记国际

和记国际

登录 | 注册 | English

新闻中心

和记国际  >  新闻中心  >  产品动态

您的模型质量诊断专家—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年+,多个典型用户的建模规范咨询:
    ♦  定制产品级规范检查流程
    ♦  深度培训/咨询服务
    ♦  定制产品级建模指南
    ♦  定制产品级模型库、建模模板
 
关于和记国际
企业简介
企业理念
企业资质
新闻中心
和记国际在全球
诚聘英才
校园招聘
实习生招聘
社会招聘
走进和记国际
常见问题
市场活动
在线研讨会
线下活动
微信课堂
用户社区
资料下载
和记国际月刊
用户留言
个人中心
PMT留言
相关链接
达索公司
IBM-中国
联系和记官网
电话:010-64840808
邮箱:market_dept@hmzdxx.com
版权所有 © 和记国际 京ICP备18000642号-1 京公网安备11010802017344号 网站地图 | 招聘信息 | 法律声明 | 隐私保护