什么是MXAM?

MES Model Examiner® (MXAM)通过使用通用的和定制的检查规范提供快速和可靠的Simulink®、Stateflow®、Embedded Coder®、TargetLink®、 ASCET®、Enterprise Architect® 模型规范以及Excel数据的验证检查。
新版本有哪些功能亮点?
MES Model Examiner® (MXAM) v.8.0 功能亮点
扩展报告明细
在链接不可导航的情况下(如:Excel或PDF报表),通过使用带有链接的脚注,改进了对包含引用其他元素的查找结果信息的显示。
报告明细整合了不同的报告格式,在html和PDF报告中增加了架构指标表,在Excel报告中添加了参数配置的详细信息。
新增建模规范
添加了新的规范,重点关注隐式数据类型转换、Integrator模块饱和度和Statflow中布局的设置。
MES Model Examiner® (MXAM) v.7.3 功能亮点
克隆组检查
克隆组检查识别模型中的重复子系统,并为每一组子系统的克隆创建一个查找结果。查找结果包含克隆组成员的模型链接,简化了模型中的导航和检验。
多重链接直达模型
在查找结果信息里添加了对多重链接的支持,简化了模型中的导航,例如当一个查找结果受到模型中不同元素影响时。
MES Model Examiner® (MXAM) v.7.2 功能亮点
- Web服务和MATLAB连接的自动端口选择使得安装和配置MXAM更加容易,并支持自动安装脚本。
- 改善了关于配置和运行时问题的用户反馈和错误处理,提升了MXAM使用体验。
- MAB 5.0文档中添加了四项新检查,更新了dSPACE TargetLink 5.0/5.1文档。
MES Model Examiner® (MXAM) v.7.1 功能亮点
项目设置的验证
在出现警告/错误的情况下,在预分析验证中显示验证详细信息。 如果检测到任何错误,则阻止执行分析。
新的MAB检查
更多MAB 5.0规范可用。
MES Model Examiner® (MXAM) v.7.0 功能亮点
显著改善了TargetLink模型检查的执行时间,并支持TargetLink 5.1。
最新推出的MAB 5.0准则侧重于避免Simulink和Stateflow中的零除问题。
安装
手工安装
- 安装程序:执行安装文件(.exe文件)并按照安装说明进行MXAM的安装。
- 安装启动过程的等待时间取决于客户端计算机的安全设置。
- 安装到写保护目录中:右键以管理员身份执行安装。
- Zip压缩文档:解压文档到任何目录中。
自动“无头”安装
- 在计算机上运行一次MXAM安装,并将完成面板中的自动安装数据保存到auto-install.xml。
使用此数据,您将能够在另一台类似的计算机上运行相同的安装。 - 设置auto-install.xml文件
- 运行自动安装: >>[installer-name].exe [ABSOLUTE-PATH/auto-install.xml]
许可证配置
了解更多关于MES质量工具许可证配置、一般许可证问题和MES许可证模式以及如何更改您的MAC-ID。
升级到最新版本
- 假如您已将MXAM文件夹添加到MATLAB路径上,请从路径中删除所有相关文件夹。
- 假如您已把旧版安装在具有版本后缀的文件夹中(例如:x:\project\matlab\mxam_x_x),您可以将此目录作为备份。
- 假如您安装时没有设置版本后缀,则可以将旧版的安装目录更名为包含版本后缀的文件夹,并将其作为备份文件夹。
将MXAM 1版本升级到当前版本的MXAM
可根据要求提供用于迁移客户特定检查集和检查的迁移工具包。
请联系 sales@model-engineers.com.
系统要求
使用MXAM须符合以下系统要求:
- Windows Vista, Windows 7, Windows 8, Windows 10 (64位版本)
- 您的系统上需要安装Java 8或更高版本。经过测试可以与MXAM一起使用的版本是“ AdoptOpenJDK 8”
- 满足规范检查软件(MXAM)和 MATLAB®/Simulink®/Stateflow®及 TargetLink®等应用的系统要求:
- MATLAB® 版本查看下面的表格
- TargetLink® (基本套件) 版本查看下面的表格
- 应用规范检查软件(MXAM)和ASCET:ASCET6.1版本和6.4.5 Beta版本的系统要求
- 应用规范检查软件(MXAM)和EXCEL2003及以上版本的系统要求
规范检查软件(MXAM)版本与MATLAB和 TargetLink版本的兼容性
MXAM 版本 | MATLAB 版本 | TargetLink 版本 |
8.0版本 | R2015b - R2021b | TL 4.1 - TL 5.2 |
7.3版本 | R2013b - R2021b | TL 3.5 - TL 5.2 |
7.2版本 | R2013b - R2020b | TL 3.5 - TL 5.1 |
7.1版本 | R2013b - R2020b | TL 3.5 - TL 5.1 |
7.0版本 | R2013b - R2020b | TL 3.5 - TL 5.1 |
6.5版本 | R2011b - R2020b | TL 3.3 - TL 5.0 |
6.4版本 | R2011b - R2019b | TL 3.3 - TL 5.0 |
6.3版本 | R2011b - R2019b | TL 3.3 - TL 5.0 |
6.2版本 | R2011b - R2019b | TL 3.3 - TL 5.0 |
6.1 版本 | R2011b - R2019a | TL 3.3 - TL 4.4 |
6.0版本 | R2011b - R2019a | TL 3.3 - TL 4.4 |
5.3 版本 | R2011b - R2018b | TL 3.3 - TL 4.4 |
5.2 版本 | R2011b - R2018b | TL 3.3 - TL 4.3 |
5.1 版本 | R2011b - R2018b | TL 3.3 - TL 4.3 |
5.0 版本 | R2011b - R2018a | TL 3.3 - TL 4.3 |
4.7 版本 | R2009b - R2017b | TL 3.2 - TL 4.3 |
4.6 版本 | R2009b - R2017b | TL 3.2 - TL 4.2 |
4.5 版本 | R2009b - R2017a | TL 3.2 - TL 4.2 |
4.4 版本 | R2009b - R2017a | TL 3.2 - TL 4.2 |
4.3 版本 | R2009b - R2016b | TL 3.2 - TL 4.2 |
4.2 版本 | R2009b - R2016b | TL 3.2 - TL 4.2 |
4.1 版本 | R2007b - R2016b | TL 2.2 - TL 4.1 |
4.0 版本 | R2007b - R2016a | TL 2.2 - TL 4.1 |
3.9 版本 | R2007b - R2015b | TL 2.2 - TL 4.1 |
快速启动
启动MXAM
- 对于MATLAB平台:打开MATLAB,浏览到MXAM安装目录然后运行>>mxam
- 对于其它平台:使用快捷方式启动MXAM或者浏览到MXAM安装目录中并运行mxam.exe
启动分析
对于MATLAB平台:
- 在MATLAB中打开一个模型。
- 在MXAM里点击 "Analyze"
- 在检查目标对话框内选择模型
- 点击 "Finish"
对于ASCET:
- 在MXAM里点击 "Analyze"
- 假如还没打开过在检查目标对话框,请点击"打开 ASCET"
- 点击“Refresh”可从从数据库获取模型。
- 按点 "Finish"
对于其它平台:
- 在项目视图里的“Artifact”选项中点击“Add…”以添加一个新的检查目标。
- 选择工件并点击"Finish"
- 点击"Analyze"
规范
- 转到“Project Guidelines”视图,以了解在分析过程中将检查了哪些规范。
- 想要查看所有可用的规范,请转到“Library Browser”视图并选择“Guidelines”视图。
建议
假如您有任何建议帮助我们改善MES Model Examiner® 请随时与我们联系:
电子邮件: mxam@model-engineers.com
用户说明书

用户指导
MES说明书为您提供清楚和详细的说明如何应用MES Model Examiner® (MXAM)。它为用户提供所有关于启动和运用MXAM的信息。
在菜单里按点 “Help > Help Contents”您以便可以参看说明书(如图)。
MXAM演示视频
在本视频中,我们将演示如何将MXAM项目设置为mxmp文件。您将学习如何创建和配置MXAM项目以及如何保存和加载项目。建议您在观看此视频前了解MXAM工作流程的基本知识,此视频侧重于MXAM工作流程的第一步。
在本视频中,我们将展示如何阅读报告并演示如何使用报告以使您的模型合规。您需要具备有关MXAM工作流程的基本知识以便更好理解此视频。
MES模赛思网络研讨会系列
查看所有即将举行的网络研讨会。研讨会不收取任何费用,我们提供中文与英文研讨会。
发行说明 - v.8.0 (2022年4月)
工具框架
改进
- 在链接不可导航的情况下(如:Excel或PDF报表),通过使用脚注,改进了对包含引用其他元素的查找结果信息的显示。
- 向导出的HTML和PDF报表中添加了一个架构指标表。
- 向导出的Excel报表中添加了参数配置的详细信息。
错误修复
- 当警告‘MATLAB: subscripting: noSubscriptsSpecified’被激活时, MXAM现在可以防止在MATLAB 2017b中误报MATLAB警告。(#9756)
- 修复了从MATLAB的上下文菜单中触发分析时,报表导出的MXAM无头执行模式的检测问题。(#9827)
规范、检查和文档
新的MAB规范(版本5.0)可用
- 确保切换模块的所有输入和输出端口的数据类型与规范jc_0650相同。(#9534)
- 使用规范jc_0627验证离散时间积分模块的饱和度设置。(#9444)
- 使用规范jc_0771统一Stateflow转移标签中注释的定位。(#9364)
适用于TargetLink 5.2版本的新dSPACE规范文档可用
- 适用于TargetLink 5.2版本的新dSPACE规范文档的所有规范现已在MXAM中可用。(#9793)
新的功能安全解决方案规范和检查可用
- 使用新的规范和检查sdt_sc008防止隐式数据类型转换。(#9472)
改进
- MXAM的信号跟踪例程现在支持BusElementPorts(总线元素端口)。(#9668)
- MXAM的信号跟踪例程现在支持TargetLink AUTOSAR库中的TL_SWCSender/ReceiverPorts。(#9667)
- 因忽略全局参数Global.IgnoredLibraries在每次检查期间定义的模块所带来的运算负担现已显著减少。(#9489)
- 除零错误检查mcheck_jc_0794和mcheck_jc_0711现在识别另一种除零错误保护模式,即:使用MinMax模块来避免除零错误。(#9736)
- mcheck_jm_0002_b、mcheck_misra_slsf_025_a_5:这些检查现在包含对Stateflow图的支持。(#9637)
- 使用mcheck_mes_cgtl_9002来检查TargetLink 5.2版本中引入的新代码生成选项“EnableSharingOfSequentialControlVariable”的正确设置。(#9735)
- 在一些检查的查找结果信息中,现在有指向模型元素的额外链接。 这些链接简化了到模型中受影响元素的导航。 现在,以下检查的查找结果信息里有一个额外链接:mcheck_sdt_il001_a、mcheck_sdt_sc001、mcheck_sdt_sc005、mcheck_sdt_sc006、mcheck_sdt_sc007_a、mcheck_sdt_sc007_b和mcheck_misra_slsf_027_ab。(#9561)
更改
- 参数MISRA_SL_SF.misra_slsf_030.IgnoredBlocks的默认设置已被修改。 在新的默认设置中,该检查将忽略以下模块:Constant、From、Goto、TL_Function、Model Info、DocBlock、Data Store Write和Data Store Read。(#9792)
错误修复
- 针对TargetLink 5.0和TargetLink 5.1的dSPACE规范文档中的一些规范引用了一个较旧的规范版本。该问题已解决。(#9793)
- mcheck_tl_pr20050222_03:该检查不再省略查找结果中重复使用的变量的第一个实例。(#9723)
- 对于某些与嵌套总线信号相关的建模模式,MXAM的信号跟踪例程不能正确地通过具有总线输出的BusSelector模块进行跟踪。此问题已解决。(#9666)
- 如果某单个模块的宽度和高度都出现故障,那么mcheck_jm_0002_b和mcheck_misra_slsf_025_a_5检查的修复操作需要执行两次。 此外,在某些情况下,这些检查没有正确地计算出模块所需的宽度。 此问题已解决。(#9632)
- 在使用模型引用时,试图评估模型工作区参数可能会导致编译问题。此问题已解决。(#9654)
- mcheck_mes_slsf_3106、mcheck_slsf_9102和mcheck_misra_slsf_026_b:当某些过滤器处于活跃状态时,在MXAM查找结果中描述的元素可能不是实际有故障的模型元素。此问题已解决。(#9731)
- 在某些情况下,检查mcheck_ar_0001对扩展名为.slx.autosave或.mdl.autosave的文件给出了失败的查找结果。这些文件是为MXAM打开的模型自动创建的,以便运行检查。此问题已解决。(#9526)
- 在分析库工件时,检查mcheck_jc_0232中止。此问题已解决。(#9761)
- 在某些情况下,检查matlab_mxray_1306没有发现模型中某一信号的所有使用情况。这导致该检查将一些端口错误地标记为未使用。此问题已解决。(#9623)
- mcheck_jc_0794和mcheck_jc_0711两个检查与Matlab R2021b版本不完全兼容。此问题已解决。(#9848)