本图片展示了MES工具 “MXAM” 产品页面的横幅。

已经是MXAM用户?
支持 & 下载

使用MES Model Examiner® (MXAM)进行静态测试

MES Model Examiner® (MXAM)是您对模型进行全面静态分析的首选工具。作为功能安全的全面解决方案, MXAM能够分析模型结构并评估模型度量指标,同时提供给您一种简单的方法来检查建模规范,以上所有功能都可以通过MXAM轻松实现。
MES Model & Refactor® (MoRe)的集成能让您的日常建模工作更加简单、快速、不易出错,并支持建模规范违规纠正。

MXAM的优势

静态测试

MXAM为认证工作流程中的安全活动提供重要支持

合规性

确保您的模型完全符合建模规范和安全或质量相关标准(ISO 26262ISO 25119、IEC 61508、DO 178B/C、ASPICE等)

质量保证

根据软件架构设计原则和建模规范准确评估模型质量

轻松实现优质建模

一键启动,即可通过符合建模规范的布局修复模型并辅助改进

基于模型的设计

MXAM X Simulink – 将MXAM无缝集成到您的MBD工具链中

模型分析

软件模型自动分析,快速得出结果 – 报告支持多种形式,详细分析结果和快速导览

可扩展性

大型软件模型一样轻松管理,从单个工作站到全公司解决方案

增强代码生成

MXAM全面支持符合相关标准的软件,比如AUTOSAR – 有效提升代码质量、安全性和保密性

自动化

MXAM支持所有常见平台,不论是内部部署平台或是云平台 – 可通过集中式可扩展设置,轻松集成在您的工具链中

MXAM如何帮助您

使用MXAM进行符合AUTOSAR标准的建模

MXAM是领先的静态分析工具,也是您改进建模的最佳指南。使用MXAM开发符合AUTOSAR标准的软件,可有效提高代码质量,并显著保障安全性和保密性。

MXAM支持ISO 26262-6参考阶段模型的工作流

在本视频中,您将了解到MXAM如何在ISO 26262-6参考阶段模型和相应的参考工作流程中提供支持,以确保创建更好的模型。利用MXAM的全面静态测试例程,应用合适的建模规范、验证合规性并提高可测试性。

MXAM支持软件开发自动化

在本视频中,您将了解到MXAM如何与您现有的开发环境无缝集成,高度可扩展以及易于设置,无论是单个工作站还是连续集成。无论您使用哪种开发环境或平台技术,您都可以通过MXAM获得可靠结果。

静态测试从未如此简单

在本视频中,您将了解到MXAM和MATLAB如何协同工作。通过MXAM您可以在Simulink®中对您的模型进行静态分析,并对违规行为进行自动修复。MXAM集成到您的开发环境中,只需单击鼠标,您就可以在不离开模型的情况下启动该分析。

三步自动修复违规行为

MXAM - 优质建模指导。在本视频中,您可以了解如何通过MXAM自动修复违规功能,让规范无缝合规。您只需三次鼠标点击即可找到并修复违规行为,保证模型符合建模规范,实现优质建模。

建模规范如何帮助实现优质建模

建模规范能如何帮助您轻松实现优质模型?观看我们的专家关于如何建立优质模型的讨论,了解更多关于建模规范如何使模型更具鲁棒性、可读性以及避免错误发生。

使用MXAM Jenkins插件精简流程自动化

Jenkins插件为设置自动化提供了便捷的支持
Jenkins插件为设置自动化提供了便捷的支持

使用我们的多功能Jenkins插件,轻松将MXAM集成在您的基于Jenkins的自动化管道中。这一工具功能强大,能将MXAM的核心功能无缝集成到Jenkins自动化管道中。

只需简单选择您需要分析的模型,适当的建模规范集,并定义通过/失败标准即可。不仅如此,MXAM还支持生成和发布内含对分析结果详细说明的综合报告。配置可通过直观的MXAM Jenkins插件UI或通过Jenkins代码轻松完成。

更为便利的是,您还可以通过电子邮件通知来随时了解自动化进程。本质而言, MXAM Jenkins插件为您提供了一种直接且高效的方式来实现质量保证自动化。

MXAM客户评价

确保模型符合相应标准

MXAM可根据最新标准自动检查模型规范,并全面且清晰地报告检查结果。以下是部分可自动检查的建模规范:

MAB

  • jc_0141:switch模块的使用(观看视频)
  • jc_0773:流程图的无条件转移(观看视频)
  • jc_0451:无符号整数一元负号的使用
  • db_0141:Simulink模型中的信号流

MISRA

  • misra_slsf_006_b:块参数 – 校准参数
  • misra_slsf_036_c:Stateflow/Simulink接口信号、参数及命名 – 输入/输出的名称
  • misra_slsf_010_b:算数运算顺序 – 乘积运算块
  • misra_slsf_053_j:转移定位 – 终止连接点的数量

MES建模规范

  • mes_slsf_3800:避免重复的Stateflow代码(观看视频)
  • mes_slsf_1302:转移中冗余的AND条件(观看视频)
  • mes_arch_1301:受限的局部复杂性
  • mes_arch_1307:避免冗余建模(克隆)

通过ISO 26262、IEC 61508和ISO 25119全面认证

即将举行的网络研讨会和培训课程

本图片展示了培训 “面向汽车行业从业者的SOTIF培训” 的封面。

面向汽车行业从业者的SOTIF培训

英语

本图片展示了培训 “符合ISO 26262标准的MBD嵌入式软件开发技术” 的封面。

符合ISO 26262标准的MBD嵌入式软件开发技术

英语

本图片展示了培训 “面向汽车行业从业者的功能安全培训” 的封面。

面向汽车行业从业者的功能安全培训

英语

联系我们

安排一次现场演示,申请免费试用MXAM, 或是向我们提出任何问题。

本图片是Mutian Guo的肖像照。
Mutian Guo 郭牧天
大中华区销售总监

*必须填写

Please add 1 and 2.