用户中心
· 企业空间 首页 | 资讯 | 技术 | 产品 | 企业 | 直播 | 专题 | 智能制造 | 论坛| 在线研讨会
北京经纬恒润科技股份有限公司
  • Model Inspector — 软件模型静态规范检查工具  
  • 发布时间:2022/4/22 10:26:36   修改时间:2022/4/22 10:26:36 浏览次数:1114
  • Model Inspector (MI)原厂商是韩国 Suresoft,是 KOLAS 公认测评机构,旨在提升安全关键领域软件可信度。 


    MI 用于开发过程中模型的静态检查,包括规范检查、复杂度度量,提供 MAAB、HIS、CG、MISRA_AC_SLSF、MISRA_AC_TL、dSPACE 标准规范及检查,检查 Targetlink 等模型是否符合建模标准、评估模型设计的合理性。 


    MI 具备 ISO-26262/IEC61508 等认证资质,支撑基于模型的高可靠、高安全的嵌入式电子产品验证及确认平台,在现代、起亚等企业得到应用。


    产品介绍

    MI 是标准化的静态检查工具,可以对模型进行自动化、批量化建模规范检查、复杂度度量,提升用户的模型质量,其工作流程如图:




    产品认证资质

    工具具备 ISO-26262(汽车)/ IEC61508(通用)等认证资质。





    支持的标准和检查项

    支持大多数国际通用规则,480+ 条行业标准建模规则:

    - MAAB

    - Modeling design and style guidelines for the applicatin(MISRA_AC_SLSF) 

    - Modeling style guidelines for the application of TargetLink in the context of automatic code generation(MISRA_AC_TL) 

    - dSPACE Modeling Guidelines 

    - Modeling Guidelines for High-Integrity System(HIS) 

    - Modeling Guidelines for Code Generation(CG) 

    - Suresoft Guidelines 

    - 用户自定义标准(定制规范检查)



    支持复杂度度量

    全方位模型度量,20 多种模型度量指标,从模型代码行数、复杂度,到各个模块、子系统、 库, 再到Stateflow 各类转移,还有数据结构层级分析、复杂度分析等,针对整个模型 / 单个子系统分别统计,支持用户定义检查阈值: 


    - Number of subsystems 

    - Number of blocks 

    - Number of linked library 

    - Number of charts 

    - Number of all objects in the chart 

    - Number of states 

    - Number of transitions 

    - Number of Model function 

    - Number of Stateflow code lines 

    - Effective lines of Model function code metric 

    - Subsystem depth 

    - Number of incoming transition 

    - Number of outgoing transition 

    - Number of atomic condition transition 

    - Nondescriptive block name 

    - Data and structure layer separation 

    - Complexity (Local, Global) 

    - Cohesion 

    - Coupling (Fan-In) 

    - Coupling (Fan-Out)



    显著特点 

    支持市面上主流模型生成代码工具

    - 功能完备度高 

    • 规则更全(标准规则 484 条),覆盖各历史版本规则
    • 复杂度指标加倍(度量指标 21 种)
    • 检查程度更完备(检查规则包含的每条描述) 


    - 工程易用性好 

    • 独立性好,面向用户友好界面
    • 全程追溯,双向自动定位模型违规位置
    • 工程化管理
    • 提供违规原因、纠正建议
    • 支持模型批量检查、局部子系统检查 / 不检查运行
    • 自动修改违规细则
    • 速度提升 50%~85% 左右
    • 自动生成多种格式的报告(pdf,html,xls) 


    - 扩展性、开放性好 

    • 支持自定义复杂度度量指标比较阈值
    • 支持自定义分组管理、复用、编辑已有规则
    • 支持写代码调用 API 执行检查
    • 支持自定义规则


    应用案例 & 资深团队

    使用MI进行建模规范自动化检查的用户广泛,如现代、起亚等,并为用户打造从建立规范到自动化检查的综合解决方案。



    我们推广 MBD 十多年,咨询经验丰富,开展多个典型用户的建模规范咨询服务: 

    定制产品级规范检查流程 

    深度培训、指导 / 定制开发 

    定制产品级建模指南(规范) 

    定制产品级模型库、建模模板、配置模板


  • 企业介绍
经纬恒润(HiRain Technologies)专业从事汽车电子、智能驾驶、车联网、新能源、人工智能等领域的电子产品研发生产、工程咨询、研发工具以及特定场景自动驾驶运维服务等。总部位于北京,设有上海、成都、深圳、美国底特律、德国慕尼黑分公司和长春…  更多>>
  • 联系方式

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

联系人:秦女士

地址:北京朝阳区酒仙桥路14号1幢4层

邮编:100000

电话:010-64840808

传真:

公司网址:http://www.hirain.com

  • 该空间手机版

扫描此二维码即可访问该空间手机版

  • 在线反馈
1.我有以下需求:



2.详细的需求:
 
姓名:  
单位:
电话:  
邮件:  
您还没有登录,请登陆,
如果您还没有注册,点击这里注册.
  • 网友反馈
  • 郭林 在2024/1/22 8:43:00留言
  • 留言类型:我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,
  • 详细留言:rvsEVO标准版产品购买
  • 祁守铮 在2024/1/17 15:17:00留言
  • 留言类型:得到贵公司产品的价格信息,贵公司产品销售人员联系我,
  • 详细留言:Arbe 4D毫米波雷达报价
  • 马苗 在2024/1/6 16:50:00留言
  • 留言类型:我让贵公司产品销售人员联系我,
  • 详细留言:车用BMS的了解与需求
  • 在2024/1/5 9:41:00留言
  • 留言类型:得到贵公司产品的价格信息,
  • 详细留言:想了解一下VBA得价格
  • 在2024/1/4 18:23:00留言
  • 留言类型:我想得到贵公司产品详细资料,我想得到贵公司产品的价格信息,我让贵公司产品销售人员联系我,我让贵公司技术支持人员联系我,
  • 详细留言:试用
更多请进入空间管理中心查看
关于我们 | 网站地图 | 联系我们
© 2003-2018    经营许可编号:京ICP证120335号
公安机关备案号:110102002318  服务热线:010-82053688
我要反馈