支持 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德意志集团认证书

 

新版本有哪些功能亮点？

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

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中布局的设置。

MXAM v.7.3

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

克隆组检查
克隆组检查识别模型中的重复子系统，并为每一组子系统的克隆创建一个查找结果。查找结果包含克隆组成员的模型链接，简化了模型中的导航和检验。

多重链接直达模型
在查找结果信息里添加了对多重链接的支持，简化了模型中的导航，例如当一个查找结果受到模型中不同元素影响时。

MXAM v.7.2

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

  • Web服务和MATLAB连接的自动端口选择使得安装和配置MXAM更加容易，并支持自动安装脚本。
  • 改善了关于配置和运行时问题的用户反馈和错误处理，提升了MXAM使用体验。
  • MAB 5.0文档中添加了四项新检查，更新了dSPACE TargetLink 5.0/5.1文档。
MXAM v.7.1

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

项目设置的验证
在出现警告/错误的情况下，在预分析验证中显示验证详细信息。 如果检测到任何错误，则阻止执行分析。

新的MAB检查
更多MAB 5.0规范可用。

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

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

MXAM 版本 MATLAB 版本 TargetLink 版本
9.0版本 R2015b - R2022b TL 4.1 - TL 2022-B
8.2版本 R2015b - R2022a TL 4.1 - TL 5.2
8.1版本 R2015b - R2021b TL 4.1 - TL 5.2
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

用户说明书

MXAM用户说明书

用户指导

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

MXAM演示视频

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

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

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

 

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

发行说明 - v.9.0 (2023年1月)

工具框架

新的查找结果修复功能

  • MXAM现在提供一项新的修复功能，可以处理一组选定的查找结果。该功能还提供一个新的对话框，该对话框可显示模型部分的详细信息，对每个查找结果的修复动作建议和具体理由。 此外，用户还可以使用原有的基于检查的修复。

改进

  • 如果定义了像 MES_LICENSE_FILE 这样的 Flexera 环境变量，MES 许可证管理器会禁用配置，并显示警告文本，因为这些变量会阻止其他配置方式。
  • 通过添加模块和掩码的作用域扩展了忽略列表的配置。除了可以忽略元素的完整子系统层次结构外，用户现在还可以这样配置，即：只忽略底层层次结构或所选元素。
  • 更新了许可证模块，该模块现在以 Flexera 11.19.1 为基础。

错误修复

  • 在批处理模式下执行时禁用 Simulink 菜单自定义功能。（#10427）
  • 添加了对调用 MATLAB 函数 sl_refresh_customizations 的保护措施。（#10644）

规范、检查和文档

对查找结果的辅助和自动安全修复

  • 现在，85% 的修复性检查都支持 MXAM 的新功能：根据用户的选择来挑选和修复查找结果。
  • 新的修复功能已添加到以下检查中：mcheck_mes_slsf_1301、mcheck_sdt_ic002、mcheck_sdt_sa001、mcheck_misra_slsf_008_a、mcheck_mes_cgtl_4105。 （#10528）
  • 改进了下列检查的修复操作，使得在仅运行一次修复之后，就能得到正确的元素名称：mcheck_jc_0201、mcheck_jc_0211、mcheck_jc_0221、mcheck_jc_0222、mcheck_jc_0231、mcheck_jc_0232、mcheck_jc_0795、mcheck_na_0030、mes_slsf_1101。 （#10528）

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

  • 使用规范 jc_0731 确保在 Stateflow 的状态名称后新起一行且不带斜线（/）。 （#10476）
  • 如果变量在 "during" 的状态动作中被更新，使用规范 jc_0741 禁止在 Stateflow 的转移条件中使用这些变量。 （# 10392）
  • 使用规范 jc_0752 确保转移中 Stateflow 条件动作的括号有独自的一行。 （#9375）
  • 使用规范 jc_0753 禁止使用 Stateflow 的转移动作或在同一个图中出现条件和转移动作的组合。 （#10391）
  • 使用规范 db_0125 禁止在 machine 层级使用数据的 “local（局部）”、“constant（常量）” 和 “parameter（参数）” 作用域，以及在父/子关系的 Stateflow 模块中使用具有相同名称的数据。 （# 10196）
  • 使用规范 db_0140 验证参数 MAAB.db_0140.AttributesFormatString 给出的模块注释设置是否正确。 （#10475）
  • 使用规范 jc_0643 确保定点数据类型的偏差设置为“0”。 （#10443）
  • 使用规范 na_0037 禁止在 variant blocks（变体模块）的variant conditions（变体条件）中使用带有多个变量的复合条件。 （# 10217）
  • 使用规范 jc_0656 确保 If 模块的 else 条件和 Switch Case 模块的默认条件已启用。 （#9486）
  • 使用规范 jc_0628 禁止 Saturation 模块中的数据类型转换。 （#10479）

新的 MES-MATLAB 规范和相关检查（仅适用于功能安全解决方案）

  • 使用规范 mes_slsf_1302 避免转移中的冗余 AND 条件。 （#10218）
  • 使用规范 mes_cgtl_4113 确保模型和代码的输出变量使用一致。（# 10305）
  • 使用规范 mes_slsf_3301 限制嵌套的 if 和 switch 控制模式的数量。（#10305）

与 MATLAB R2022a 和 TargetLink 2022-B 的兼容性

  • 进行了细微的调整以确保框架和检查与 Matlab R2022b 和 TargetLink 2022-B 兼容。
  • mcheck_mes_cgtl_9002：该检查现在能够分析 TargetLink 2022-B 中引入的代码生成选项。 （#10526）

改进

  • 为了提高可用性，对一个模型元素的多个查找结果在以下检查中合并为一个查找结果：mcheck_jc_0201、mcheck_jc_0211、mcheck_jc_0221、mcheck_jc_0222、mcheck_jc_0231、mcheck_jc_0232、mcheck_jc_0795、mcheck_na_0030、mes_slsf_1101。 （#10528）
  • mcheck_misra_slsf_050_a/b/c/d 的链接操作现在支持高亮显示 Stateflow 注释。
  • mcheck_misra_tl_1_2：该检查现在含有一个参数（MISRA.misra_tl_1_2_a.CheckDataDictionary），以便从分析中排除 TargetLink 数据字典。 （#10445）
  • mcheck_jc_0081：该检查现在被引用到规范的02版本中，并改进了检查描述。 （#10441）
  • mcheck_cgtl_4209：该检查现在能够分析所有可在模块对话框中声明初始值的变量类。 （#10440）
  • misra_slsf_054_e：该检查现在提供一个关于括号位置的更具体的查找结果消息。 （#10673）

更改

  • 在 MXAM 运行期间，带有标识符 “Simulink:Commands:FindSystemDefaultVariantsOptionWithVariantModel” 的显示警告消息现在在 MATLAB 的命令行窗口中被隐藏起来。 （#10663）
  • 已注释的 Stateflow 元素（例如：转移、状态等）现已不在分析的范围内。 （#10393）
  • mcheck_db_0042_a：已停止支持修复选项。 （#10226）

错误修复

  • 修复了一个罕见的问题：mcheck_mes_misra_slsf_036_a 在分析过程中会卡住。 （#10402）
  • 修复了一个与 mcheck_sdt_sc004_b 中由 Mux 模块合并信号的信号跟踪相关问题。 （#10512）
  • 修复了一个问题，由于在 MATLAB R2016a 和 R2016b 中的 API 不一致而导致 mcheck_jm_0002_b 检查中止。 （#10543）
  • 修复了 mcheck_sdt_sa002_a/b 和 mcheck_ds_0025 的一个问题， 关于 “OutDataTypeMode” 的警告消息会在MATLAB 命令行窗口中显示。 （#10658）
全套发行说明