支持 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.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中布局的设置。

MXAM v.7.3

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

克隆组检查
克隆组检查识别模型中的重复子系统,并为每一组子系统的克隆创建一个查找结果。查找结果包含克隆组成员的模型链接,简化了模型中的导航和检验。

多重链接直达模型
在查找结果信息里添加了对多重链接的支持,简化了模型中的导航,例如当一个查找结果受到模型中不同元素影响时。

MXAM v.7.2

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

安装

手工安装

  • 安装程序:执行安装文件(.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位版本)或
  • Linux(64位版本),使用Ubuntu 20.04.1 Desktop进行测试。
  • 您的系统上需要安装Java 8到15中的版本。经过测试可以与MXAM一起使用的版本是“ AdoptOpenJDK 8”
  • 满足规范检查软件(MXAM)和 MATLAB®/Simulink®/Stateflow®及 TargetLink®等应用的系统要求:
    • MATLAB® 版本查看下面的表格
    • TargetLink® (基本套件) 版本查看下面的表格
  • 应用规范检查软件(MXAM)和ASCET:ASCET6.1版本和6.4.6版本的系统要求
  • 应用规范检查软件(MXAM)和EXCEL2003及以上版本的系统要求

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

MXAM 版本 MATLAB 版本 TargetLink 版本
8.2版本 R2015b - R2022a TL 4.1 - TL 5.2
8.1版本 R2015b - R2021b TL 4.1 - TL 5.2
8.0版本 R2015b - R2021b TL 4.1 - TL 5.2
7.3版本 R2013b - R2021b TL 3.5 - TL 5.2
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"
  • 点击“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工作流程的基本知识以便更好理解此视频。

 

发行说明 - v.8.2 (2022年10月)

工具框架

支持CI用例的许可证列队签出

  • 如果许可证服务器在请求时没有可用的许可证, MXAM现在支持排队等候许可证。
  • 可以设置一个超时时间来配置MXAM获得可用许可证的最长等待时间。在此之后,请求将停止,相应的任务将报失败。
  • 该功能需要MXAM_CI_EXEC许可证。

改进

  • 自动关闭空闲的MXAM信息对话框,以便API访问停止空转(例如:通过web服务)。
  • 更新了局部详图中的消息,它显示可用的修复选项。
  • 将mxam.ini中的默认内存设置增加到2GB,并删除了过时的设置。
  • 在mxam.ini中配置了默认RMI主机名作为预防使用VPN的一个措施。
  • 通过省略充斥在日志中的重复条目,改进了日志文件的内容。(#5533、#10273)

错误修复

  • 如果在创建报告后关闭模型,或者在“continue analysis(继续分析)”模式中导入现有报告,则链接到与信号线相关的、突出显示查找结果的链接动作将失败。此问题已解决。(#10147)
  • 修复了对Microsoft Outlook电子邮件模板使用的支持,其中电子邮件正文被设置为主题行。(#9902)
  • 修复了许可证配置文件的文件编码。(#10071)
  • 修复了一个错误,当在包含总线创建器的模型上计算 "Ineffective Interface (无效接口) "指标时,Simulink无法确定该总线创建器输出端口的信号层次结构,从而导致错误。(#7306)
  • 修复了一个错误,当被分析的模型中包含一个引用了名称中带有标点符号的库子系统时(例如:“my block . name”),将导致错误。(#9775)
  • 修复了首选项文件的文件编码。(#10109)
  • 修复了Web服务API ,以便在MXAM处于关闭过程中查询MXAM的可用性。(#10060)
  • 修复了对linux环境下库项目局部详图内容的缩放问题,该问题曾阻碍细节的适当可见性。(#10050)
  • 修复了同步批量执行的超时处理,并增加了默认的超时值。(#9612)
  • 修复了对ASCET语句模块子代的数据流构建。(#10145)
  • 修复了在语句模块中对ASCET序列调用的处理。(#10117)
  • 修复了在计算输入连接器(InputConnectors)时对ASCET语句模块的处理。(#10039)
  • 修复了对含有“E”的路径规则的忽略列表规则的应用。(# 9511)
  • 禁用了linux环境下的托盘图标通知,它们可能会导致某些桌面管理器的分析挂起。(#10209)
  • 对于MATLAB R2020b以及更低版本,结构元素名称(仅在大小写字母上有差异)可能在MXAM的工件导航中被错误地大写了。(#9520)
  • 修复了Linux环境下MXAM空转的显示对话框,以防出现额外且多余的空对话框外壳。(#10124)

规范、检查和文档

新的覆盖MAB规范(版本5.0)的检查可用

  • 使用规范jc_0730确保Stateflow中的各状态名称是唯一的。(#10152)
  • 使用规范jc_0732确保Stateflow状态、数据和事件的名称是唯一的。(#10152)
  • 使用规范jc_0733确保Stateflow状态动作类型“entry - during - exit”的正确时序。(#10197)
  • 使用规范jc_0773防止因流程图中缺少无条件转移而在Stateflow中出现回溯。(#10153)
  • 使用规范jc_0800禁止用浮点数据类型进行等价比较(==,~=)。(#9374)
  • 使用规范jc_0701确保将Stateflow数据项的第一个索引的属性设置为“0”或“1”。(#10151)
  • 使用规范jc_0734防止状态动作类型在Stateflow中被使用两次以上。(#10198)
  • 使用规范jc_0763 防止使用多个内部转移,或至少确保基于执行顺序的从上到下的正确顺序。(#10202)
  • 根据规范na_0024确保MATLAB函数之间仅使用信号线共享数据。(#10075)
  • 使用规范jc_0700验证“Unused data, events ,messages’”(未使用的数据、事件“消息”)的设置,以便注意到未使用的Stateflow数据。(#9052)
  • 使用规范jc_0772验证“Unreachable execution paths”/“Transition Shadowing”(“无法访问的执行路径”/“转移阴影”)的设置,以避免死转移路径。(#9052)
  • 使用规范jc_0021验证模型诊断的正确设置,以确保代码的生成。(#9052)
  • 使用规范jc_0797确保状态流中的转移、状态和节点相互连接。(#10112、#10115)
  • 使用规范jc_0792防止在模型工作区和在Simulink数据字典中出现未使用的数据。(#10073)
  • 使用规范jc_0161确保将data store memory(数据存储记忆)模块放置在最小作用域层级。(#10219)
  • 使用规范jc_0762禁止在流程图中使用状态动作,以确保状态流程图的可读性。(#10199)
  • 使用规范ar_0001和ar_0002确保文件夹和文件名遵循命名约定。(#10111)
  • 使用规范na_0018确保嵌套的if/else语句的使用被限制在三个层级。(#10074)
  • 现在,以下规范也在版本2的检查范围中:DB_0143、JC_0451、JC_0511、JM_0002、NA_0011、DB_0122。(#10069)/li>

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

  • 使用规范TL_RULE_STATEFLOW_RANGE_INFORMATION确保设置Stateflow数据项的最小值和最大值,并验证数据类型range(范围)中的包含关系(containment)(mcheck_mes_cgtl_4305和mcheck_mes_cgtl_4306)。(#9962)

MXRAY模型度量指标检查

  • 使用检查matlab_mxray_generic_0001验证你选择的模型度量指标值是否低于可配置的界限。该检查支持MXAM提供的所有架构模型指标。(#10061)
  • 使用规范mes_arch_1308验证全局复杂度R0是否低于可配置的界限。(#10061)

与MATLAB R2022a的兼容性

  • 由于Stateflow API中的变化,进行了一些调整,以确保与MATLAB R2022a保持兼容。(#10206、#10208、#10243)
  • mcheck_db_0122、mcheck_ds_0058、mcheck_misra_slsf_034_c、mcheck_misra_tl_4_2、mcheck_sdt_sc002_a:当在MATLAB R2022a上运行时,这些检查不再分析属性“Use Strong Data Typing with Simulink I/O” (Simulink I / O的使用强数据键入)。(#10214)

新的MES-MATLAB 规范文档和检查可用

  • 使用mes_slsf_0626避免在预查找表中进行外推。(mcheck_mes_slsf_0626)
  • 使用mes_mc_0012控制Sum模块中的运算数数量。(mcheck_mes_mc_0012)
  • 使用mes_sk_008确保对端口模块进行一致的编号和分配。(mcheck_mes_sk_008_a、mcheck_mes_sk_008_b)
  • 使用mes_slsf_1301避免在具有相同目标的多个转移中出现冗余动作代码。(mcheck_mes_slsf_1301)
  • 使用mes_cgtl_4208限制Targetlink查找模块允许的变量类。(mcheck_mes_cgtl_4208)
  • 使用mes_cgtl_4209限制所有Targetlink模块中状态变量允许的变量类。(mcheck_mes_cgtl_4209)

新版“MES-MATLAB规范 - 最佳实践合集”可用

  • 规范文档“MES规范 - 最佳实践合集”的新版本v2现已可用,其中包括所有新的MES- MATLAB规范。

改进

  • 如果无法计算相关的指标值以进行评估,则MXRAY模型度量指标检查的查找类型结果为 "Aborted(已中止)”,我们已将其改为“Review(检验)”。
  • mcheck_misra_slsf_027_j:该检查被重写,以便更好地体现规范的理念。 这包括对链接子系统的改进处理,提供关于故障元素的更详细信息,以及对信号命名和标签传播的一致区分。(#9363)
  • mcheck_misra_tl_5_6、mcheck_ds_0047:这些检查现在能正确处理Multiport Switches(多端口开关)的“Specify Indices(指定索引)”选项。(#10027)
  • mcheck_misra_slsf_052_a、mcheck_misra_slsf_052_b、mcheck_misra_slsf_053_b:现在,该检查使用查找结果消息中的多个链接来导航到与某个查找结果相关的所有项目。(#10152、#10201、#10011)
  • mcheck_misra_slsf_055_a:该检查改进了对隐式Stateflow状态动作类型的处理。(#10197)
  • mcheck_sdt_sc002_e:该检查现在发出检验而不是失败的查找结果。在查找结果消息中还使用多个链接来导航到与某查找结果相关的项目。(#9962)

错误修复

  • mcheck_jc_0501,版本02:对于MATLAB R2015b及更早版本,维修动作(repair action)已被修复。(#9780)
  • mcheck_mes_slsf_2000、mcheck_mes_slsf_2001、mcheck_misra_slsf_007_a:如果检查没有在模型的顶层执行,则检查中止。此问题已解决。(#10251、#10255)
  • ds_0103:如果被分析数学模块(Math block)的源模块定义了一个向量信号,则检查中止。此问题已解决。(#10288)