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

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

  • /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 <= 9.2)

  • 在一台设备上运行一次MXAM安装程序,并将您在完成面板上的自动安装数据保存为 auto-install.xml。
    有了这些数据,您就可以在另一台相似的设备上运行相同的安装程序。
  • 配置 auto-install.xml
  • 运行自动安装程序: >>[installer-name].exe [ABSOLUTE-PATH/auto-install.xml]

 

升级到最新版本

  • 假如您已将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.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 v.10.0 (2024年1月)

工具框架

MoRe已集成到功能安全版本中

  • 现在,MES Model & Refactor®(MoRe)已集成到每一个MXAM功能安全版本中。
  • 该工具在默认情况下处于激活状态,并可以在MXAM首选项的MATLAB适配器设置中进行配置。
  • 您可以利用MoRe的优势,简化并加快模型的创建和重构。

已更新Java兼容性至Java 21版本

  • MXAM现在与Java 21兼容。
  • 所需的最低Java版本为Java 11。 详细信息请参阅README_Installation中的兼容性列表。

改进

  • 全文搜索功能(Lucene全文信息检索工具包)已更新至版本6.6.6。
  • 在安装程序中添加了一个帮助页面,以便向希望在每次启动MATLAB时初始化MXAM的用户提供指导。

错误修复

  • 修复了以下问题:如果模型包含大量组件,且用户在报表透视图中的文档和工件导航之间进行切换,MXAM将会冻结。(#11531
  • 修复了一个问题:当一次性修复超过5000个查找结果时,对话框将会冻结。(#11241
  • 如果安装目录中包含特殊字符(如:#%;)会导致问题的产生。已添加警告功能。(#11450
  • 修复了MXAM无法正确登录自定义用户目录的问题。(#11487
  • 修复了在交互式修复对话框中无法高亮显示TargetLink数据字典对象的问题。(#11564
  • 修复了一个问题:如果识别特征设置为“Path(路径)”,则在交互式修复对话框中无法高亮显示Stateflow图。(#11577)

规范、检查和文档

对基于EmbeddedCoderAUTOSAR运行实体的简易分析

  • 使用全局参数“Global.AnalyzeAutosarRunnableSubsystemsOnly”忽略软件组件(SWCs)的基于Embedded Coder的AUTOSAR帧。
    • 扩展了全局参数,以便在启用参数时仅分析基于Embedded Coder的AUTOSAR运行实体中的模型元素。
    • 如果启用该参数,自动生成的SWC帧将被忽略。
    • 可运行子系统既可以是函数调用子系统/Simulink函数,也可以是原子子系统和事件侦听子系统。

MATLAB R2023b版本和TargetLink 2023-B23.1)版本的兼容性

  • MXAM现在支持从R2019b到R2023b的MATLAB版本,以及从5.0到2023-B(23.1)的TargetLink版本。

新的功能安全规范和检查

  • 使用规范mes_slsf_3500禁止在Stateflow图中使用用户定义的事件。
  • 使用规范mes_slsf_1500确保可重用模型组件具有已解析并启用的链接。
  • 使用规范mes_slsf_2200和misra_slsf_008_b确保使用参数“MES.mes_slsf_2200.allowedRoundingModes”中设置的允许舍入模式(rounding modes)。
  • 优化了规范文件“功能安全建模规范”的章节结构。

适用于TargetLink5.05.15.2版本)的新dSPACE规范文档可用

  • 使用覆盖规范TL_RULE_SWDESIGN_USER_VARCLASS_FUNCCLASS的mcheck_mes_cgtl_4307确保在TargetLink的数据字典中使用用户定义的变量和函数类。(#9965)

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

  • 新的修复功能已添加至以下主题的检查中:
    • 条件控制模块的使用:mcheck_jc_0656、mcheck_misra_slsf_011_b。
    • 查找和预查表模块的使用:mcheck_jc_0626、mcheck_mes_slsf_0626。
    • 模块属性中的注释:规范ds_0082现在引用了misra_tl_1_2_a和misra_tl_1_2_b。

改进

  • 使用规范misra_slsf_026_b允许使用新的检查参数‘MISRA_SL_SF.misra_slsf_026_b.AllowBlockNumbering‘对具有相同命名的常量模块进行模块名称编号。(#11426、#11459)
  • 对规范mes_cgtl_4113“模型和代码输出变量的一致使用”以及相关检查进行了优化,以提高模型、TargetLink数据字典和生成的代码之间的可追溯性。对默认的参数化进行了调整,以涵盖主要用例。(#11525)
  • 检查mcheck_db_0125_d现在将Stateflow原子子图与父图分开分析。(#6843)

更改

  • 以下规范文件(包括其规范和检查)不再是在本发行版本的内容:
    • 针对MATLAB®/Simulink®/Stateflow®和TargetLink®的dSPACE-建模规范。(dspace_tl_3_0)
    • 针对dSPACE TargetLink-4.0.3版本(dspace_tl_4_0)的建模规范。
    • 在自动代码生成环境中应用TargetLink的MISRA AC TL建模风格规范。(MISRA_ac_tl_1_0)
    • 如果您的规范文件中含有这些规范,则删除的规范将被标记为红色。请参阅新的dSpace文档以添加最新版本的规范。您可以在<MXAMDir>doc/MATLAB/dSpaceGuidelineMapping/dSpaceGuidelineMapping.xlsx中找到一个映射表。
  • 与TargetLink 5.0以下版本相关的TargetLink已知问题已从dSPACE TargetLink已知问题文档中删除。

错误修复

  • 当MXAM尝试评估一个库中模块的参数时,某些检查可能会中止。此问题已解决。(#11427)
  • 修复了一个问题,即:mcheck_na_0001会为“ActionLanguage”设置为“MATLAB”且“EnableBitOps”设置为false(假)的图创建一个假正查找结果。(#11449、#11426)
  • 修复了mcheck_na_0039中错误报告原子子图而不是Stateflow图中嵌入的Simulink函数的问题。(#6843)
  • 改进了对检查mcheck_misra_slsf_038_a 和mcheck_misra_slsf_038_b的语法错误的处理,现在将进行审查。(#11352)
  • 修复了sdt_sc008未能根据项目的全局设置过滤出库模块的问题。(#11546)
  • 修复了mcheck_mes_cgtl_4306中止对作用域为“Local”或“Output”的Stateflow数据项的分析的问题。(#11548)
  • 修复了Linux上的一个问题,即:mcheck_ar_0001、mcheck_ar_0002和mcheck_jc_0242因无法对MATLAB路径进行分段而中止。(#11593)
  • 修复了一个问题,即:当同时存在出向转移时,mcheck_jc_0773会对无条件内部状态转移的执行顺序给出一个假正报告。(#11395)
  • 修复了mcheck_mes_mc_0011和mcheck_mes_mc_0012在不可编译的Simulink模型上中止的问题。(#11608)