支持 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.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中的零除问题。

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

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

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

安装

手工安装

  • 安装程序:执行安装文件(.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® (基本套件) 版本查看下面的表格
  • 应用规范检查软件(MXAM)和ASCET:ASCET6.1版本和6.4.5 Beta版本的系统要求
  • 应用规范检查软件(MXAM)和EXCEL2003及以上版本的系统要求

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

MXAM 版本 MATLAB 版本 TargetLink 版本
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 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相关视频

 

发行说明 - v.7.2 (2021年10月)

工具框架

自动端口选择

  • 现在(在默认情况下)可以自动确定 MXAM Web 服务器的端口和连接到 MATLAB 的端口。
    • 在 MXAM UI 中显示 Web 服务器端口。
    • 新的入门实用程序方法“com.modelengineers.mxam.core.util.StarterUtil.main(String[] args)”将返回 MXAM 使用的端口号,可用于自动启动。

改进

  • 对于工具使用过程中出现的任何错误,提供了更详细的问题描述。此外,还会显示对相应问题进行故障排除的提示。
  • 更好地显示许可证错误并改进了许可证配置对话框。
  • 扩展支持使用“CTRL+C”将数据从 MXAM 复制到 Windows 剪贴板。
  • 提高了报告导入的性能。
  • 通过推迟因更改选择而引起的 UI 更新,提高了报告透视图的性能。
  • 改进了对架构指标计算的缺失许可证处理,以免剩余的分析被中止。(#8763)
  • 可以使用项目中配置的工件来执行批量分析。(#9250)
  • 改进了文档导出向导中的进度和错误处理。(#8666)
  • 改进了对许可证的检查,以确保在分析过程中有可用的许可证。
  • 通过对表应用多阶段排序改进了对库项目的选择。
  • 通过显示检查结果的累积摘要,在 MATLAB 控制台或进度对话框中显示扩展的进度。

错误修复

  • 修复了浏览器的兼容性,可查看详细信息。(#9155)
  • 修复了读取 MXAM 首选项时的错误处理。(#9256)
  • 修复了文档导出向导中的初始选择。(#8668)
  • 修复了项目库设置 UI 控件的启用问题。(#9138)
  • 防止在详细视图中显示图像拖放的过程中发生 MXAM 崩溃。(#9183)
  • 修复了对 ASCET 序列调用的处理。(#9137)
  • 修复了用于 mxamapi_execute.m 的 MATLAB API 文档。(#9175)
  • 修复了显示许多工件时工件配置表的布局。(#8637)
  • 修复了滚动操作的问题。(#9317)
  • 修复了进度条中包含特殊字符的 Simulink 名称的问题。(#8757)

规范、检查和文档

新的 MAB 规范(版本5.0)可用

  • 使用规范 jc_0642(mcheck_jc_0642),以防止带符号整数除法的意外取整。(#9241)
  • 使用规范 jc_0791(mcheck_jc_0791)以便在基本工作区、模型工作区和 DD 中识别重复的数据名称定义。(#9246)
  • 使用规范 jc_0610(mcheck_jc_0610)以确保乘法和除法模块的正确运算顺序。(#9206)
  • 使用新引用的检查 mcheck_mes_slsf_1700 以防止使用禁止的模块。(#9205)

适用于 TargetLink 5.0 和 5.1 版本的新 dSPACE 规范文档可用

适用于 TargetLink 5.0 和 5.1 版本的新 dSPACE 规范文档的所有规范现已在 MXAM 中可用。 目前可自动检查以下规范:

  • 适用于Simulink、Stateflow 和 TargetLink 的通用规范
    • 全局 Simulink 选项:TL_RULE_GENERAL_DIAGNOSTICS
    • 全局 TargetLink 选项:TL_RULE_SWDESIGN_BITFIELDS_MISRA、TL_RULE_SWDESIGN_IDENTIFIER_LENGTH
    • 一般约定:TL_RULE_GENERAL_NAMING、TL_RULE_GENERAL_BLOCK_PRIOS、TL_RULE_GENERAL_OVERFLOW_SATURATION、TL_RULE_GENERAL_ROUNDING
    • 定点代码生成:TL_ADV_OPTI_POWER_OF_2, TL_ADV_OPTI_OFFSETS, TL_ADV_OPTI_CONSTRAINTS, TL_RULE_OPTI_64_BIT
  • 特定模块规范
    • 离散模块库:TL_RULE_DISC_LIB_INTEGRATOR_SETTINGS
    • 查找表模块库:TL_RULE_LUT_FLOAT_EQUIDISTANT
    • 端口和子系统模块库:TL_RULE_PORTSYSTEM_LIB_SWITCH_CASE, TL_RULE_PORTSYSTEM_LIB_DUPLICATE_INPORTS
    • 传送信号模块库:TL_RULE_SIGNALROUT_LIB_DSMEMORY, TL_RULE_SIGNALROUT_LIB_FROMGOTO, TL_RULE_SIGNALROUT_LIB_MERGE, TL_RULE_SIGNALROUT_LIB_MULTIPORT_SWITCH
    • 自定义函数模块库:TL_RULE_USERFUNC_LIB_FCN_BLOCK
  • Stateflow 规范:TL_RULE_STATEFLOW_STRONG_DATA_TYPING, TL_RULE_STATEFLOW_TRANSITION_ACTIONS, TL_RULE_STATEFLOW_ORDER_PARALLEL_STATES, TL_RULE_STATEFLOW_IMPLICIT_EVENTS, TL_RULE_STATEFLOW_MATLAB, TL_RULE_STATEFLOW_TRANSITIONS_IN_CONTROL_FLOW, TL_ADV_STATEFLOW_STATES_VS_CONTROL_FLOW

改进

  • mcheck_jm_0010_a:引入了检查参数“MAAB.jm_0010_a.CaseSensitivePrefixOrSuffix”,以允许自定义有关输入/输出端口的前/后缀大小写敏感检查的检查。(#9015)
  • mcheck_misra_tl_7_7:引入了检查参数 “MISRA.misra_tl_7_7.IgnoredFiles” 以定义自定义代码文件的忽略列表。(#9160)
  • mcheck_misra_slsf_031_a、mcheck_db_0141:该检查现在忽略取向为“左”的反馈子系统,并由以下模块组成:Unit Delays(单元延迟)、Inports(输入端口)、Outports(输出端口)、Bus creators(总线创建器)、Bus selectors(总线选择器)、Mux(信号合成)、Demux(信号分解)和各子系统。(#9025)
  • MAB 3.0 规范 hd_0001(版本 1)现在引用检查 mcheck_mes_slsf_1700 来增强可配置性和改进性能结果。(#9205)
  • mcheck_mes_slsf_1700:提高了检查的性能。(#9205)
  • 根据 ISO 26262:2018 更新了各规范中 ISO 引用的措辞。(#9323)

更改

  • mcheck_mes_slsf_9001:将配置参数“Periodic sample time constraint(周期采样时间约束)”的建议值更改为“Specified, Ensure sample time independent(指定,确保采样时间独立)”。这保证了模型引用的设置一致。 (#9116)
  • mcheck_misra_slsf_010_b:修改了查找结果信息以提高可读性。该信息现在构成了一个完整的句子。
  • mcheck_hd_0001:该检查已被删除。(#9205)

错误修复

  • mcheck_ds_0027:如果对一个表输入端口的源分析失败,该检查可能会发出不合理的警告。该问题已修复。(#9258)
  • mcheck_misra_slsf_015_b:如果一个矩阵信号被引导通过子系统的一个输出端口,则检查总是给出发现封装子系统的查找结果。该问题已解决。(#9244)
  • 在某些情况下,函数调用中包含字符数组的模块参数评估可能会导致失败。该问题已修复。(#9082)
  • TargetLink 的一个限制是不允许使用类为“default(默认值)”来评估 TL_Signum 模块的输出类型。这是通过访问隐藏的对话框数据来规避的。(#9041)
  • 通过含有嵌套总线元素赋值的 BusAssignment 模块进行信号跟踪是错误的。该问题已修复。(#9173)