什么是MXAM?

新版本有哪些功能亮点？

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

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]

升级到最新版本

• 假如您已将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平台：打开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 - 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）