支持 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.7.0 功能亮点

显著改善了TargetLink模型检查的执行时间,并支持TargetLink 5.1。

最新推出的MAB 5.0准则侧重于避免Simulink和Stateflow中的零除问题。

 

MXAM v.6.5

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

进行了一系列细节上的改进,提高了用户操作响应速度,改善了用户使用体验。

进一步提高了MAB规范5.0版本的覆盖性。

MXAM v.6.4

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 功能亮点

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

Screenshot MXAM 6.2 Clone Groups

 

改进了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 检查的重点是受限的本地复杂度、受限的结构层次级别数、受限的输入和输出接口数量、受限的循环复杂度及有效接口的使用

安装

手工安装

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

自动“无头”安装

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

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

MXAM 版本 MATLAB 版本 TargetLink 版本
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.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平台:打开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说明书为您提供清楚和详细的说明如何应用MES Model Examiner® (MXAM)。它为用户提供所有关于启动和运用MXAM的信息。
在菜单里按点 “Help > Help Contents”您以便可以参看说明书(如图)。

MXAM相关视频

 

发行说明

MXAM - v 7.0(2021年4月)

工具框架

改进

  • 更新了 ASCET 适配器,以支持 ASCET 6.4.5 版本。
  • 限制了MXAM 变体的导出 java 依赖性,以防止与自定义用户代码使用的依赖关系发生冲突。
  • 提高了在加载报告、保存报告或后处理分析(即:将注释与查找结果进行匹配)时的大量注释性能。
  • 提高了对指南/检查说明在细节视图中高 DPI 显示的支持。增加了对显示信息的缩放支持。(#8765)
  • 更改了库浏览器透视图中过滤器的默认值:现在所有文档/指南/检查的版本都默认显示,而不仅仅显示最新版本。

错误修复

  • 解决了 Contents.m 文件中 MXAM 版本信息的问题,以符合 MATLAB 的 “ ver” (查看系统版本号)命令的预期格式。(#8793)
  • 当文档中的引用未与库同步时,防止重复检查。(#8858)
  • 修复了一个问题,当运行分析的工件是引用库的子系统时,MXRAY 检查中止。(#8882)
  • 修复了一个问题,在某些情况下,克隆组检测被激活时,MXRAY 检查中止。(#8864)
  • 添加了可更改的过滤器,以允许在文档编辑器中选择除最新版本以外的其它指南版本。(#8892)
  • 修复了 mxam_start_analysis.m 不设置不应由用户更改的内部字段的值的问题。(#8979)

规范、检查和文档

新的MAB准则(版本5.0)可用

  • jc_0711:Stateflow 模块中的变量、常数或参数不得用于执行除法运算。但是,当 Stateflow 模块中发生除法运算时,该运算过程应防止被零除。
  • jc_0794:当对 Product 模块使用除法运算时,算法的实现应避免被零除。

与TargetLink 5.1版本的兼容性

  • 进行了轻微的调整,以确保框架和检查与TargetLink 5.1版本兼容。
  • mcheck_mes_cgtl_9002: 根据 TargetLink 5.1版本更新了TL_ParameterList.xlsx列表。
  • 更新了TargetLink的已知问题检查(在功能安全解决方案中可用)。

改进了大型 TargetLink 模型的性能

  • MXAM 在 TargetLink 模型上的执行时间得到了显著改善,特别是在大型模型上。

其他改进

  • mcheck_misra_slsf_006_b:除了模块类型-掩码类型组合之外,用户现在可以插入更多在分析中将被忽略的模块特定参数。为此,检查参数 MISRA_SLSF.mes_misra_slsf_006_b.ignoredBlocks 的默认值已被修改。(#8695、 #8788)
  • db_0112:向量信号应使用统一的 “zero-based”(零基)或统一的 “one-based”(一基)索引模式。该检查有一个检查参数,可以在两者之间进行选择。(# 8369)
  • mcheck_mes_sltl_001:引入了检查参数 SDT.mes_sltl_001.AllowedMagicConstants,以便在检查中允许使用某些魔术常量。(# 8851)
  • 在分析 TargetLink 模块 TL_SignalConversion 的数据类型时,特定的检查中止。此问题已解决。(#8818)
  • 更新了活动 AUTOSAR 配置的识别。 MXAM 现在可以正确识别所有 TargetLink AUTOSAR 版本的活动 AUTOSAR 配置。(#8791)
  • 为 mcheck_mes_slsf_9003 添加了新的检查参数,以覆盖更多 Stateflow 选项:
    • 动作语言
    • 启用过零检测
    • 指定使用Simulink I/O(输入和输出)的强数据类型
    • 将这些继承的Simulink信号类型视为fi对象
    • 创建输出以进行监控
    • MATLAB图的fimath属性
  • 向 mcheck_mes_slsf_9003 添加了 MXAM 检查参数设置的验证。如果检查参数设置不一致,MXAM 现在可以给出一个查找结果。(#8328)
  • 改进了对MATLAB内置变量的评估。(#8717)
  • 改进了具有多维数据源和目标的信号路由。(#8796)
  • 改进了 MXAM 对在设计时未指定维数的非标量信号的缩放值(LSB、偏移)的处理。 (#8865)

更改

  • MXAM 的数据流分析现在允许在链接子系统中继承 TL 端口模块。(#8791)

更改

  • mcheck_misra_tl_6_1:具有浮点数据类型和未选择选项 'CreateInputVariable' 的 Stateflow 数据项被错误地报告为失败。现在接受浮点数据类型。(#8376)
  • mcheck_ds_0100:如果信号源是 TL 函数的输出端口,则检查无法检测到输入数据类型。此问题已解决。(#8724)
  • mcheck_mes_cgtl_4101:如果 TargetLink 增益模块的公差未设置为0, 而其增益类未设置为默认,则检查会给出错误的失败查找结果。此问题已修复。(#7790)
  • mcheck_misra_slsf_026_b:参数 'SystemSampleTime' 被排除在所有模块的检查分析之外。(#8405)
  • mcheck_na_0003:在同一模块中传递了 {If expression} 或 {Elseif expression} 后,检查未返回失败的查找结果。此问题已解决。(#8767)
  • mcheck_misra_tl_5_9:该检查未能正确检测到具有增益参数的 TargetLink 增益模块, 该增益参数含有 MATLAB 内置变量,如: “ones”。此问题已解决。(#8717)
  • mcheck_mes_slsf_9103:对于嵌套库模块,该检查错误地检测到具有同一库引用的相同模块名称。此问题已解决。(#8497)
  • mcheck_sdt_il001_a:该检查将不同的总线信号识别为唯一的信号,从而给出错误的查找失败结果。此问题已解决。此外,改进了查找结果的信息。(#6392、#7332、#7879、#8751)
  • mcheck_misra_slsf_025_a_6:由于错误的图窗处理,一个实用程序函数导致检查分析中止。此问题已解决。(#8806)
  • mcheck_misra_slsf_050_c:该检查不包含最新 MATLAB 版本的颜色设置。此问题已更正。(#8798)
  • mcheck_misra_slsf_027_j:当启用“Show propagated signals”选项时,该检查未忽略 TargetLink AUTOSAR 模块 TL_SWCSenderPort 和 TL_SWCReceiverPort。此问题已解决。(#8753)
  • mcheck_na_0002:该检查从具有 “default” 和空基类类型的 TargetLink 模块返回了一个对源信号查找失败的结果。现在,该检查给出了一个检验结果。对于“Constant” 源模块,还将评估常量值以获取数据类型。(#8804)
  • mcheck_sdt_sc007a/b:对于某些建模模式,可能会出现对维数大于1的模块错误的肯定查找结果。此问题已解决。(#8794)
  • mcheck_sdt_sc007_b:对于信号源在 Demux(分解)模块中的标量信号,该检查返回了一个错误的肯定查找结果。此问题已解决。(#8796)
  • matlab_mxray_1306:该检查对变体子系统的顶层系统返回了错误的肯定查找结果。此问题已解决。(#8674)
  • mcheck_sdt_sa004_b、mcheck_misra_slsf_013_c:在某些情况下,检查对 MultiportSwitch 模块返回了错误的肯定查找结果,该模块参数 “ DataPortOrder” 的选项为 “Specify Indices”。此问题已解决。(#8845)
  • mcheck_sdt_sc002_e:对于失败的查找结果,现在检查消息会更加详细,且包含有关信息,即信号范围是直接由 Stateflow 数据项确定,还是在相应的图输入信号的源模块中确定的。(#8815)
  • mcheck_mes_cgtl_4203:检查会忽略具有不可标定类的常量模块的输出。(#8350)