支持 MES Model Examiner® (MXAM)
MES 模赛思 支持 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.6.4 功能亮点

软件模型架构的概览视图。让您可以通过一张图中的6个主要度量值的图形概览快速了解您的模型。

提供了新的MAB规范（5.0版本）。文档包含Mathworks咨询委员会官方规范文档5.0版本的规范。

MXAM v.6.3

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

关注用户体验,在用户反馈以及工具行为方面，MXAM做出了一系列改进，以便更好地支持您的日常工作。这些改进为未来的功能更新打下了坚实基础。

MXAM v.6.2

MES Model Examiner® (MXAM) v6.2 功能亮点

克隆组检测
克隆组度量值能够识别高度类似的子系统组。这种重复性的执行，可能是建模过程中的复制/粘贴动作造成的，它会增加模型的整体复杂性，因此应该避免。

 

改进了MATLAB批处理的执行
MATLAB API的新配置选项允许同步执行批处理任务。

与Matlab 2019b和TargetLink 5.0的兼容性

MXAM v.6.1

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

体系结构度量视图

MXAM功能性安全解决方案的报告透视图中新增了新视图，显示MXRAY指标，支持排序和过滤。表和树可以导出到Excel中。

MXAM v.6.0

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

在模型结构方面的静态分析增强（BETA）
MATLAB 模型的静态分析由 MXRAY 模型指标进行补充，用于评估结构设计原则的遵守情况。MXAM 提供分析框架的实用功能，例如参数、注释、忽略列表和报告选项的使用。

新的 MXRAY 模型指标规范和检查 (功能安全解决方案)
MXRAY 检查的重点是受限的本地复杂度、受限的结构层次级别数、受限的输入和输出接口数量、受限的循环复杂度及有效接口的使用。

 

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

获得最新版本

系统要求

使用MXAM 6.4版本(规范检查软件)须符合以下系统要求：

  • Windows Vista, Windows 7, Windows 8, Windows 10 (64位版本)
  • 您的系统上需要安装Java 8或更高版本。经过测试可以与MXAM一起使用的版本是“ AdoptOpenJDK 8”
  • Web服务端口10117（默认）必须可以访问，并且可以在工具首选项中更改设置。
  • 满足规范检查软件（MXAM）和 MATLAB®/Simulink®/Stateflow®及 TargetLink®等应用的系统要求:
    • MATLAB® 版本查看下面的表格
    • TargetLink® (基本套件) 版本查看下面的表格
    • 5564端口（默认）必须是可以访问的
  • 应用规范检查软件（MXAM）和ASCET：ASCET6.1版本和6.4.4 Beta版本的系统要求
  • 应用规范检查软件（MXAM）和EXCEL2003及以上版本的系统要求

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

MXAM 版本 MATLAB 版本 TargetLink 版本
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.1 - TL 4.4
5.3 版本 R2011b - R2018b TL 3.1 - TL 4.4
5.2 版本 R2011b - R2018b TL 3.1 - TL 4.3
5.1 版本 R2011b - R2018b TL 3.1 - TL 4.3
5.0 版本 R2011b - R2018a TL 3.1 - TL 4.3
4.7 版本 R2009b - R2017b TL 3.1 - TL 4.3
4.6 版本 R2009b - R2017b TL 3.1 - TL 4.2
4.5 版本 R2009b - R2017a TL 3.1 - TL 4.2
4.4 版本 R2009b - R2017a TL 3.1 - TL 4.2
4.3 版本 R2009b - R2016b TL 3.1 - TL 4.2
4.2 版本 R2009b - R2016b TL 3.1 - 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
3.8版本 和 1.9.0版本 R2007b - R2015b TL 2.2 - TL 4.1

 

升级到最新版本

  • 假如您已将MXAM文件夹添加到MATLAB路径上，请从路径中删除所有相关文件夹。
  • 假如您已把旧版安装在具有版本后缀的文件夹中（例如：x:\project\matlab\mxam_x_x)，您可以将此目录作为备份。
  • 假如您安装时没有设置版本后缀，则可以将旧版的安装目录更名为包含版本后缀的文件夹，并将其作为备份文件夹。

将MXAM 1版本升级到当前版本的MXAM

可根据要求提供用于迁移客户特定检查集和检查的迁移工具包。
请联系 sales@model-engineers.com.

获得最新版本

安装

手工安装

  • 安装程序：执行安装文件（.exe文件）并按照安装说明进行MXAM的安装。
    • 安装启动过程的等待时间取决于客户端计算机的安全设置。
    • 安装到写保护目录中：右键以管理员身份执行安装。
  • Zip压缩文档：解压文档到任何目录中。

自动“无头”安装

  • 在计算机上运行一次MXAM安装，并将完成面板中的自动安装数据保存到auto-install.xml。
    使用此数据，您将能够在另一台类似的计算机上运行相同的安装。
  • 设置auto-install.xml文件
  • 运行自动安装： >>[installer-name].exe [ABSOLUTE-PATH/auto-install.xml]
常见问题

快速启动

启动MXAM

  • 对于MATLAB平台：打开MATLAB，浏览到MXAM安装目录然后运行>>mxam
  • 对于其它平台：使用快捷方式启动MXAM或者浏览到MXAM安装目录中并运行mxam.exe

启动分析

对于MATLAB平台：

  • 在MATLAB中打开一个模型。
  • 在MXAM里点击 "Analyze"
  • 在检查目标对话框内选择模型
  • 点击 "Finish"

对于ASCET:

  • 在MXAM里点击 "Analyze"
  • 假如还没打开过在检查目标对话框，请点击"打开 ASCET 6"
  • 点击“Refresh”可从从数据库获取模型。
  • 按点 "Finish"

对于其它平台：

  • 在项目视图里的“Artifact”选项中点击“Add…”以添加一个新的检查目标。
  • 选择工件并点击"Finish"
  • 点击"Analyze"

规范

  • 转到“Project Guidelines”视图，以了解在分析过程中将检查了哪些规范。
  • 想要查看所有可用的规范，请转到“Library Browser”视图并选择“Guidelines”视图。

建议

假如您有任何建议帮助我们改善MES Model Examiner® 请随时与我们联系：
电子邮件: mxam@model-engineers.com

MXAM相关视频

版本更新一览 – MES工具新功能亮点介绍

dSPACE & MES 软件开发在线技术研讨会: 符合MISRA C的自动代码生成解决方案 - TargetLink & MXAM

测试自动化的简易实现

如何在保证软件质量的同时减少50%的工作量
查看全部视频

 

用户说明书

MXAM用户说明书

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

发行说明

MXAM - v 6.4(2020年10月)

工具框架

MXRAY 概况视图

MXAM在一张图中提供了6个主要度量值的图形概览：

  • 局部复杂度
  • 整体未使用基本输入百分比
  • 层级
  • 局部圈复杂度
  • 输入端口数量
  • 输出端口数量

在MXAM的GUI（图形用户界面）和（HTML、PDF和Excel）报表中以报告视图的形式提供本图形概览。

改进

  • 在Excel报表中添加了度量指标表单。
  • 改进了MATLAB与Jenkins之间的通信。（＃6253）
  • 防止已加载的注释定义文件被再次加载。（＃8205）
  • 在许可证管理器中添加了对当前MXAM的预选。（＃8251）
  • 添加了对枚举类型数组的ASCET支持。（＃8400）
  • 在MXAM启动时添加了有条件的链接到MATLAB的功能。（＃8243）
  • 执行批处理时，增加了对CI许可证的早期检查。（＃8362）

错误修复

  • 如果无法正常关闭，则在超时5分钟后强制关闭MATLAB。 （＃8068）
  • 改进了Web服务查询的错误处理。 （＃8233）
  • 扩展了许可证文件的许可证管理器的验证逻辑。
  • 修复了许可证管理器中的一个NPE，以防止用户目录中的文件丢失。（#8251）
  • 当报告含有“Passed with Infos（已传递信息）”的查找结果时，修复了API getReportResults（获取报告结果）的问题。（#8370）
  • 修复了项目注释设置中黑名单和白名单表单的更新问题。（＃8433）
  • 为克隆组 ID 搜索添加了帮助条目。（#8021）
  • 改进了对用户目录初始化失败时的错误处理。（#8325）

规范、检查和文档

提供了新的MAB规范(5.0版)

  • 文档“使用 MATLAB®、Simulink®和Stateflow® 的MAB - 控制算法建模规范5.0版”包含Mathworks咨询委员会官方规范文档5.0版本的规范。
  • 现在可以检查以下规范：
      • jc_0011, jc_0131, jc_0141, jc_0201, jc_0211, jc_0222, jc_0231, jc_0232, jc_0241, jc_0242, jc_0243, jc_0244, jc_0245, jc_0246, jc_0247, jc_0481, jc_0795, jc_0796
      • na_0002, na_0009, na_0016, na_0017, na_0019, na_0021, na_0022, na_0025, na_0034, na_0036, na_0039
      • db_0081, db_0110, db_0123, db_0144
  • 上述规范现已包含在下列文档中:
      • MXAM 入门套件
      • MXAM 入门套件 - 扩展版 （在功能安全解决方案中可用）
      • 对使用Embedded Coder实现的MES建模规范
      • 对使用Embedded Coder实现的MES功能安全建模规范 （在功能安全解决方案中可用）

改进

  • 无法正确读取Stateflow中状态标签里的合并状态操作，导致在特定的检查中出现错误的查找失败结果。此问题已解决。（#7890）
  • 在使用“ddv()”的情况下，增强了TargetLink数据字典变量评估的稳健性。（＃8248）
  • mcheck_jm_0010_a: 引入了检查参数MAAB.jm_0010_a.AllowedPrefixOrSuffixForInport 和MAAB.jm_0010_a.AllowedPrefixOrSuffixForOutport，以便插入那些允许在整个模型端口名称中使用的前缀和后缀。（＃8313）
  • mcheck_sdt_sa003：引入了检查参数SDT.sa003.AllowedClassForConstant。现在，Switch（开关）模块的控制信号可以源自一个TargetLink 常量模块，该模块具有在检查参数中定义的可变类。（＃8486）

错误修复

  • mcheck_misra_slsf_006_b：TargetLink文档模块“Autodoc Customization” 已被排除在检查分析之外。（#8299）
  • mcheck_misra_slsf_022_a：该检查未能成功发现变体子系统顶层缺少Model Info（模型信息）模块。此问题已解决。（＃8312）
  • mcheck_misra_slsf_026_b:
      • 如果一个模块有一个命名常量，但是它的模块名称与该命名常量不同，那么检查不会给出失败的查找结果，如果在同一子系统中有另一个模块的名称与这个命名常量相同。此问题已解决。（＃8298）
      • 该检查现在可以处理检查参数中的通配符条目。
      • 参数“Sample time (采样时间)”被排除在所有模块的检查分析之外 。
  • mcheck_sdt_sc006：在分析未连接信号的Inport （输入端口）模块时，例如： 变体子系统顶层的Inport （输入端口）模块，检查中止。此问题已解决。（＃8314）
  • mcheck_na_0008：尝试自动修复与库模块相关的信号线触发了检查中止。该检查现在返回一个未修复的查找结果。（＃8318）
  • mcheck_ds_006：在评估特定的Stateflow数据项的编译大小时，检查中止。现在MXAM会发出一个警告的查找结果。（＃8248）
  • mcheck_misra_slsf_025_a_1：由于find_system指令参数'LookUnderMasks'='graphical'的设置不正确，因此该检查没有对每个模型层级进行分析。此问题已解决。（#8374）
  • mcheck_db_0140: 该检查对TL_Lookup2D模块的“Table（表单）”属性给出了错误的查找失败结果。此问题已解决。（#8273）
  • mcheck_misra_slsf_006_c：即使属性"UseBitMask（使用位掩码）"设置为"off (关闭）"，按位运算模块也未找到"BitMask（位掩码）"属性。此问题已修复。（#8336）
  • mcheck_misra_slsf_027_e：如果库模块对应的输出信号被命名，则该检查会对库模块的内部信号给出错误的肯定查找结果。此问题已修复。（#8398）
全套发行说明