支持 MES Model Examiner® (MXAM)
MES 模赛思 支持 MES Model Examiner (MXAM)

什么是MXAM?

TÜV南德意志

MES Model Examiner® (MXAM)通过使用通用的和定制的检查规范提供快速和可靠的Simulink®、Stateflow®、Embedded Coder®、TargetLink®、 ASCET®、Enterprise Architect®模型规范以及Excel数据的验证检查。

经TÜV SÜD（南德意志技术监督协会）认证，符合IEC 61508、ISO 25119和ISO 26262标准

TÜV德意志集团认证书

 

新版本有哪些功能亮点？

 

下载最新版本

 

MXAM v.10.1

MES Model Examiner® (MXAM) v.10.1功能亮点

MISRA AC SLSF：2023文件现已可用
MXAM现已支持应用Simulink和Stateflow的模型设计和风格建模规范。
本文件是2009年MISRA AC SLSF文件的修订版本，新版本更新了建模规范以适应新的Simulink版本、调整最佳实践、并明确建模模式。

全局分析参数的结构调整
为了更好地概览全局参数并简化技术细节，已对全局参数进行了结构调整。
分析参数用于再分析过程中排除特定的模型部分，包括自动生成的AUTOSAR框架和标准库块。

数据流分析性能的改进
对需要进行全面信号跟踪的MXAM检查（如建模规范sdt_sc006或sdt_il001）进行了改进，以实现更短的执行时间。

► 查看发行说明了解更多新功能

MXAM v.10.0

MES Model Examiner® (MXAM) v.10.0功能亮点

将MES Model & Refactor® (MoRe) 集成在MXAM中
MoRe现已包含在MXAM功能安全解决方案的所有用户许可证中。MoRe功能可在Simulink编辑器的用户上下文菜单中找到，包括自动进行布局并简化模型重构，使日常建模任务更简单、更快速、更不易出错。

EmbeddedCoder AUTOSAR可运行实体的简易分析
MXAM的扩展全局参数可将您的分析限制为EmbeddedCoder AUTOSAR可运行实体，即忽略自动生成的框架。

添加了全新的功能安全建模规范和检查项
重点关注Simulink/Stateflow中的防御性执行技术和可重用组件的正确使用。

► 查看发行说明了解更多新功能

MXAM v.9.3

MES Model Examiner® (MXAM) v.9.3功能亮点

快速的工具安装和分发
新的安装包为MXAM在您的系统环境中的运行提供了更多选项。您可以通过管理全局许可证配置，有效简化工具在企业中的分发。

新增改进信号连接的MES检查
特定的检查确保命名的一致性，并调整信号、端口和区块命名使其一致，以此防止错误的信号连接，并提高模型与代码之间的可追溯性。

► 查看发行说明了解更多新功能

MXAM v.9.2

MES Model Examiner® (MXAM) v.9.2功能亮点

识别重复的Stateflow代码
重复的代码容易出错、难以维护且效率低下。新的检查mes_slsf_3800将对您的Stateflow图表进行筛查，查找相同或相似的代码片段。

改进对AUTOSAR层的处理
一个新的全局参数可忽略AUTOSAR Runnable上方的模型层，以便集中处理人工建模的部分。

增强模型元素链接的稳健性
如果对模型进行了小改动，例如修复操作或调整了模型结构，则其他分析结果项与模型元素的链接仍然保持有效。这简化了在模型修复和重新加载报告方面的重复工作。

MXAM v.9.1

MES Model Examiner® (MXAM) v.9.1功能亮点

静态分析前进行模型自动验证
为了确保您的模型和设置已经准备好进行静态分析，MXAM现在会自动预验证Simulink®模型。

对模型变体的集成支持
MXAM进一步支持Variant模块的使用。通过全局参数配置分析的范围，可以包括仅活动变体或所有变体。该参数适用于所有检查。

扩展支持对选定查找结果的辅助安全修复和自动安全修复

MAB 5.0规范的额外检查

改进对AUTOSAR用例的支持

MXAM v.9.0

MES Model Examiner® (MXAM) v.9.0功能亮点

对查找结果的辅助和自动安全修复
MXAM通过新的修复功能简化建模工作。该功能提供一个新的对话框，该对话框可显示模型部分的详细信息，对每个查找结果的修复动作建议和具体理由，帮助用户更好地控制模型修复。

符合Stateflow建模最佳实践的新MES检查

增加了对MAB规范的覆盖

重要支持信息

MES Model Examiner® (MXAM)许可证更新
MES Model Examiner已经发布了新版本，需进行许可证更新。更新适用于所有持有有效支持和维护合同的客户。MES支持团队将在未来几天内联系相关客户，提供MXAM 9.0许可证更新文件。更新的许可证将与旧版本保持兼容。

如您使用的许可证服务器FlexNet Publisher低于11.19版本, 须更新升级补丁
最新的MXAM版本中更新的许可证模块需要将FNP许可证服务器更新到11.19.1或更高版本。您可以在此页面中找到下载链接。

MXAM v.8.2

MES Model Examiner® (MXAM) v.8.2功能亮点

通用MXRAY模型度量指标检查
通过新的检查matlab_mxray_generic_0001，您可以评估任意数字模型指标。只需为想要评估的指标设置一个数值上限，每一个指标超过此上限值的结构元素都会在查找结果中列出。

CI许可证签出排队
MXAM现在支持用户在请求CI许可证签出时没有可用许可证的情况下排队处理许可证请求。可以配置排队时长超时。此功能需要MXAM_CI_EXEC许可证。

新增覆盖MAB规范（版本5.0）的检查可用
数个新检查覆盖了Simulink和Stateflow中优秀建模风格和配置的众多最佳实践。

MXAM v.8.1

MES Model Examiner® (MXAM) v.8.1功能亮点

自动返回未使用的许可证
当一个打开的MXAM应用程序实例在6小时内未被使用，则签出的许可证将自动返回到许可证服务器，以允许其他用户获取此MXAM许可证。空闲的MXAM将被封锁，直到用户决定使用新获得的许可证继续工作。

支持Linux作为操作系统运行MXAM（BETA）

适用于TargetLink 5.0、5.1 和5.2版本的新规范文档
六个新规范文档侧重于优化Targetlink代码生成和MISRA C的合规性。

MXAM v.8.0

MES Model Examiner® (MXAM) v.8.0功能亮点

扩展报告明细
在链接不可导航的情况下（如：Excel或PDF报表），通过使用带有链接的脚注，改进了对包含引用其他元素的查找结果信息的显示。
报告明细整合了不同的报告格式，在html和PDF报告中增加了架构指标表，在Excel报告中添加了参数配置的详细信息。

新增建模规范
添加了新的规范，重点关注隐式数据类型转换、Integrator模块饱和度和Statflow中布局的设置。

安装

手工安装

  • 安装程序：执行安装文件（.exe文件）并按照安装说明进行MXAM的安装。
    • 安装启动过程的等待时间取决于客户端计算机的安全设置。
    • 安装到写保护目录中：右键以管理员身份执行安装。
    • 注意：如果您的安装路径包含以下列表中的特殊符号，MXAM将无法启动并发出错误对话框： #, %, ;. 请避免在MXAM路径中使用这些符号。
  • Zip压缩文档：解压文档到任何目录中。

命令行的使用和静默安装（适用于MXAM v9.3.0版本及以上）

  • MXAM安装程序有四个标志可以在命令行中设置： /D、/S、/lic和/conf。这些标志均可选。只有在使用/S标志指定静默安装时，我们强烈建议您同时使用/D标志指定安装目录。
  • /D：指定安装目录。请注意，此标志必须设置在cmd使用的最后。不将其放置在最后会导致错误。
  • /S：指定静默安装，例如：

    mxam-installer.exe /S /D=D:\path\to\mxam

  • /lang：您可以选择以哪种语言打开安装程序。安装程序默认使用系统语言，但如果您希望安装程序使用特定语言，可以指定3种语言的快捷方式之一。可用的快捷方式有 DE（德语）、EN（英语）和 ZH（简体中文）。传递给 /lang 参数的任何其他值都将默认为英语。例如：

    mxam-installer.exe /lang=EN

  • /lic：用于为您的MXAM安装设置默认许可证文件。您指定的文件将会被复制到MXAM安装的许可证文件夹中，例如：

    mxam-installer.exe /S /lic=D:\path\to\license.lic /D=D:\path\to\mxam

  • /conf：用于为您的安装设置自定义配置。此标志需要一个具有以下特定结构的文件夹:

    my-config
    |-- com.modelengineers.mxam.core.prefs
    |-- com.modelengineers.mxam.ui.common.prefs
    |-- com.modelengineers.mxam.ui.jiraSupport.prefs
    |-- lismo.config
    |-- adapters
    |   |-- com.modelengineers.mxam.tooladapter.ascet6.ini
    |   |-- com.modelengineers.mxam.tooladapter.file.ini
    |   |-- com.modelengineers.mxam.tooladapter.matlab.ini
    |   |-- com.modelengineers.mxam.tooladapter.mxamreport.ini

    您可以在MXAM安装文件夹中的doc/MXAM_X_Y_Z_config_template.zip找到配置模板文件夹。您只需复制模板文件夹，即可开始编辑与您相关的首选项和配置。关于每个配置属性的具体说明，您可参阅 MXAM 帮助内容（在MXAM中：Help > Help Contents），例如：

    mxam-installer.exe /S /conf=D:\path\to\config\folder /D=D:\path\to\mxam

命令行的使用和自动无头安装（MXAM v9.2版本及以下）

  • 在一台设备上运行一次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位版本）,Windows 11或
  • Linux（64位版本），使用Ubuntu 20.04.1 Desktop进行测试。
  • 您的系统上需要安装Java 11到21（64位版本）中的版本（经过测试可以与MXAM一起使用的版本是“ AdoptOpenJDK 11”）。
  • 满足规范检查软件（MXAM）和MATLAB®/Simulink®/Stateflow®及 TargetLink®等应用的系统要求:
    • MATLAB®版本请查看下面的表格
    • TargetLink®（基本套件）版本请查看下面的表格
  • 应用规范检查软件（MXAM）和ASCET：ASCET6.1版本和6.4.7版本的系统要求

规范检查软件（MXAM）版本与MATLAB和TargetLink版本的兼容性

MXAM版本 MATLAB版本
 TargetLink版本
 兼容 Java版本
10.1版本 R2019b - R2023b TL 5.0 - TL 2023b 11 - 21 (64bit)
10.0版本 R2019b - R2023b TL 5.0 - TL 2023b 11 - 21(64bit)
9.3版本 R2015b - R2022b TL 4.1 - TL 2022b 8 - 15 (64bit)
9.2版本 R2015b - R2022b TL 4.1 - TL 2022b 8 - 15 (64bit)
9.1版本 R2015b - R2022b TL 4.1 - TL 2022b 8 - 15 (64bit)
9.0版本 R2015b - R2022b TL 4.1 - TL 2022b 8 - 15 (64bit)
8.2版本 R2015b - R2022a TL 4.1 - TL 5.2 8 - 15 (64bit)
8.1版本 R2015b - R2021b TL 4.1 - TL 5.2 8 - 15 (64bit)
8.0版本 R2015b - R2021b TL 4.1 - TL 5.2 8 - 15 (64bit)
7.3版本 R2013b - R2021b TL 3.5 - TL 5.2 8 - 12 (64bit)
7.2版本 R2013b - R2020b TL 3.5 - TL 5.1 8 - 12 (64bit)
7.1版本 R2013b - R2020b TL 3.5 - TL 5.1 8 - 12 (64bit)
7.0版本 R2013b - R2020b TL 3.5 - TL 5.1 8 - 12 (64bit)
6.5版本 R2011b - R2020b TL 3.3 - TL 5.0 8 - 12 (64bit)
6.4版本 R2011b - R2019b TL 3.3 - TL 5.0 8 - 12 (64bit)
6.3版本 R2011b - R2019b TL 3.3 - TL 5.0 8 - 12 (64bit)
6.2版本 R2011b - R2019b TL 3.3 - TL 5.0 8 - 12 (64bit)
6.1版本 R2011b - R2019a TL 3.3 - TL 4.4 8 - 12 (64bit)
6.0版本 R2011b - R2019a TL 3.3 - TL 4.4 8 - 12 (64bit)

快速启动

启动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

用户说明书

MXAM用户说明书

用户指导

MES说明书为您提供清楚和详细的说明如何应用MES Model Examiner® (MXAM)。它为用户提供所有关于启动和运用MXAM的信息。
在菜单里按点“Help > Help Contents”您以便可以参看说明书（如图）。

MXAM演示视频

在本视频中，我们将演示如何将MXAM项目设置为mxmp文件。您将学习如何创建和配置MXAM项目以及如何保存和加载项目。建议您在观看此视频前了解MXAM工作流程的基本知识，此视频侧重于MXAM工作流程的第一步。

在本视频中，我们将展示如何阅读报告并演示如何使用报告以使您的模型合规。您需要具备有关MXAM工作流程的基本知识以便更好理解此视频。

查看MXAM相关视频
查看全部视频

 

MES模赛思网络研讨会系列
查看所有即将举行的网络研讨会。研讨会不收取任何费用，我们提供中文与英文研讨会。

发行说明 - MXAM v.10.1 （2024年4月）

工具框架

现在可以配置所使用的ASCET安装

  • 在首选项中添加了选项，即：从已安装的版本或最后打开的版本中选择一个ASCET版本。
  • 添加了命令行（CLI）参数 - ascetVersion，以便在无头模式下选择ASCET版本。

改进

  • MoRe已更新至4.17版本。
  • 添加了网络服务请求，以通过/guidelineDocExport POST导出规范文档。
  • 添加了MATLAB API mxamapi_exportGuidelineDocuments，以便也能导出规范文档。
  • 添加了筛选器，以便在报表透视图中仅显示可修复的查找结果。
  • 添加了命令行（CLI）参数 -ci 或 -automation，以确保MXAM在自动化模式下运行。 这需要一个MXAM_CI_EXEC许可证功能。
  • 现在可以用注释来说明选择项目特定文档的理由。
  • 更新了安装程序对话框，使其更加清晰和快捷。
  • 通过更新对mes_progress的处理来加快分析进度。（#11754）
  • 清理了过时的全局参数。
  • 添加了警告，当所使用的Java版本与MXAM不兼容时会发出该警告。
  • 将Log4j更新至2.23.1.版本。

错误修复

  • 更改了执行顺序，以避免在错误的工件上处理钩子。现在在工件结构分析之前执行preArtifactHook。（#11679）
  • 删除了到用户目录的链接的创建。（#11689）
  • 修复了详细查找结果中随机发生的格式不正确的多链路链接。（#11062）
  • 修复了在使用ResolveModelReferences参数时可能出现的缓存问题。（#9656）
  • 修复了识别旧版MoRe安装的问题。（#11888）

规范、检查和文档

新版MISRA AC SLSF：2023规范可用

  • 新版“MISRA AC SLSF：2023 - Simulink和Stateflow建模设计和样式应用指南”文件中的所有规范现已在MXAM中推出可用。

提高了数据流分析的性能

  • 改进了需要进行彻底信号跟踪的检查，例如：对规范sdt_sc006或sdt_il001，以缩短执行时间。

扩展了对查找结果的辅助和自动安全修复功能

  • 新的修复功能已添加到对以下主题的检查中:
    • 模型信息外观：mcheck_misra_slsf_022_a
    • 指定Stateflow图的数据类型： mcheck_misra_slsf_034_c
    • Stateflow图的初始化设置：mcheck_misra_slsf_034_d
    • 使用“From”和“Goto”模块-标签：mcheck_misra_slsf_018_b
    • 对Stateflow输入变量的TargetLink规格：mcheck_mes_cgtl_4301
    • 重复导入：mcheck_sdt_il001_b, mcheck_ds_0038

对实施自定义检查的用户通知

  • 在即将发布的MXAM 10.2版本（2024年7月）中，基于检查的修复框架将不再继续使用。 请参阅MXAM的开发者指南，了解基于查找的修复实施细节。 自MXAM 9.0以来，基于检查的修复功能已被基于查找的修复功能所取代。

新的覆盖MAB规范（版本5.0）的检查可用

  • 使用规范jc_0645确保将校准参数配置为命名常量。
  • 使用规范jc_0805的c、d和f部分确保Sqrt、Reciprocal Sqrt和Math模块的输入值范围正确。
  • 使用规范jc_0805的a部分确保Abs和TL_Abs模块的整数溢出饱和。
  • 使用规范na_0001确保在Stateflow中正确使用按位和逻辑运算符。

适用于TargetLink（版本5.0、5.1、5.2和2022-B）的覆盖dSPACE建模规范的新检查可用

  • 使用覆盖规范TL_RULE_DISC_LIB_TRANSFER_STATESPACE_FILTER_BLOCKS的检查mcheck_mes_cgtl_4211，确保Discrete Transfer Fcn、Discrete State Space、和Discrete Filter模块的输入和输出信号的数据类型一致。

新的入门套装文档

  • 使用MXAM为TargetLink和EmbeddedCoder用户新构建的入门套装文档，探索、测试并应用从MISRA、MAB和MES精心挑选的最新建模标准。 预配置项目StarterSetFS.mxmp和EmbeddedCoder.mxmp可用于加载这些文档。

改进

  • 改进了包括信号跟踪和颜色检查在内的检查，以便更快地执行。
  • 现在，规范TL_RULE_DISC_LIB_INTEGRATOR_SETTINGS还通过mcheck_ds_0023_a检查积分器模块（integrator blocks）的向量信号输入。（#11814）
  • MAB 5.0/MAAB 3.0规范na_0008和na_0009现在引用新的检查mes_slsf_1102、mes_slsf_1103和mes_slsf_1104来提高可用性。（#11895）
  • 更新了检查mcheck_mes_cgtl_4301，以正确识别旨在重用的Stateflow图。现在，可以完全自动检查相应的规范TL_RULE_STATEFLOW_EXPLICIT_INPUT_SPEC。
  • 检查mcheck_ar_0001已更新为使用相对于模型的文件路径，以便可以正确映射注释。（#11807）

更改

  • 现在，针对规范misra_slsf_052_a的检查将比较整个状态机（模型）中的各状态名称，以便更好地覆盖规范。（#11656）
  • 删除了检查mcheck_misra_slsf_038_a的共享参数‘MISRA_SL_SF.OperatorClasses' ，并调整了检查行为以改善用户体验。（#11756）
  • 将mcheck_misra_slsf_018_b_1和b_2的功能合并到一个检查mcheck_misra_slsf_018_b中。
  • 为了提供更好的概述和简化技术细节，对全局参数进行了重组，并删除了以下不再使用的参数：
    • DebugInfo、UseCache、LogFilterStatistics、WarningLevels、NoteLevels、Progressbar step、Global.SkipTLBlockChildren和Global.SkipSLObjectsInCharts。
  • 已使用新的检查参数重构检查mcheck_misra_slsf_038_b，以提高可用性。

错误修复

  • 修复了一个问题：如果模型包含某些Stateflow元素，在启用全局参数“Global.IgnoreBlocksByAttrFormatStr”的情况下，对mcheck_na_0024的分析可能受损。（#11821）
  • 修复了一个问题，当TargetLink数据字典中存在名为“Components”的变量组时，mcheck_mes_tl_pr20060928_17会给出一个假正的查找结果。（#11678）
  • 修复了一个问题，即：mcheck_misra_slsf_016_d会对Argument In / Argument Out、Model Reference和MATLAB Function模块报告一个假正的查找结果。（#11620、#8593）
  • 修复了一个问题：如果端口的TargetLink数据字典缩放定义无效，mcheck_sdt_sc007_a将中止执行。（#11750）
  • 修复了一个问题，在分析具有循环转换的Stateflow图时，mcheck_misra_slsf_042_d会卡住。（#11680）
  • 修复了一个问题，即：mcheck_misra_slsf_026_a对不可见的模块名称给出失败的查找结果。（#11445）
  • 修复了一个问题，即：mcheck_mes_slsf_2200的查找结果报告了一些函数的数学模块，这些模块不允许指定舍入模式。（#11771）
  • 修复了一个问题：由于未考虑Goto模块的标记可见性，mcheck_misra_slsf_018_c给出了假正的查找结果。（#11697）
  • 修复了mcheck_mes_sltl_002_b未能正确分析TargetLink数据类型的问题。（#11751）
  • 修复了一个问题：如果具有向量值边界的非标量信号是Stateflow中值比较的一部分， mcheck_jc_0481将中止执行。（#11797）
  • 修复了一个问题：当模块名称包含特殊字符时，mcheck_misra_slsf_026_a会中止。（#11862）
  • 修复了一个问题：检查mcheck_mes_cgtl_4307在TargetLink 23.1模型上运行时中止。（#11894）
  • 修复了一个问题：mcheck_db_0129_b中的链接操作错误地指向了限定符sf-chart而不是sf-transition。（#11902）
全套发行说明