MES Model Examiner® - Release Notes

V10.0.0 January 2024

Tool Framework

MoRe integrated in Functional Safety Editions

  • MES Model & Refactor® (MoRe) is now integrated into every MXAM Functional Safety edition.

  • The tool is activated by default and can be configured in the MATLAB Adapter Settings in the MXAM Preferences.

  • Use MoRe to your advantage to simplify and accelerate model creation and refactoring.

Updated Java Compatibility to version Java 21

  • MXAM is now Java 21 compatible.

  • The minimum Java version required is Java 11. See the compatibility table in the README_Installation for more information.

Improvements

  • The full-text search feature (Lucene package) was updated to version 6.6.6.

  • Added a help page to the installer to guide the user if they wish to initialize MXAM at every MATLAB startup.

Bug Fixes

  • Fixed an issue where MXAM would freeze if the model consisted of a high number of components and the user switched between document and artifact navigation in the report perspective. (#11531)

  • Fixed a dialog freezing issue that occurred if over 5000 findings were repaired in one go. (#11241)

  • Added warning if the installation directory contains special characters like #, % and ; which will cause issues. (#11450)

  • Fixed an issue where MXAM wouldn’t properly log in a custom user directory. (#11487)

  • Fixed an issue where TargetLink Data Dictionary objects could not be highlighted during the interactive repair dialog. (#11564)

  • Fixed an issue where Stateflow Charts could not be highlighted during the interactive repair dialog if the identification feature was set to ‘Path’. (#11577)

Guidelines, Checks, and Documents

Easy Analysis of EmbeddedCoder AUTOSAR Runnables

  • Ignore Embedded Coder AUTOSAR frames for SWCs using the global parameter ‘Global.AnalyzeAutosarRunnableSubsystemsOnly’

    • The global parameter was extended so that only model elements inside Embedded Coder AUTOSAR Runnables are analyzed if the parameter is enabled.

    • The auto-generated SWC frames are ignored if the parameter is enabled.

    • Runnable Subsystems can be either Function-call Subsystems/Simulink Functions or Atomic Subsystems and Event Listener Subsystems.

Compatibility with MATLAB R2023b and TargetLink 2023-B (23.1)

  • MXAM now supports MATLAB releases from R2019b to R2023b and TargetLink releases from 5.0 to 2023-B (23.1).

New Functional Safety Guidelines and Checks

  • Prohibit the usage of user-defined events in Stateflow charts with guideline mes_slsf_3500.

  • Ensure that re-usable model components have a resolved and enabled link with guideline mes_slsf_1500.

  • Ensure the usage of allowed rounding modes set in parameter ‘MES.mes_slsf_2200.allowedRoundingModes’ with guidelines mes_slsf_2200 and misra_slsf_008_b.

  • The chapter structure of the guideline document “Functional Safety Modeling Guidelines” was refined.

New dSPACE Guidelines for TargetLink (Versions 5.0, 5.1 and 5.2) available

  • Ensure the usage of user-defined variable and function classes in the TargetLink Data Dictionary with mcheck_mes_cgtl_4307 covering guideline TL_RULE_SWDESIGN_USER_VARCLASS_FUNCCLASS. (#9965)

Extended the Assisted and Automated Safe Repair of Findings

  • New repair functionality has been added to checks for the following topics:

    • Usage of Conditional Control blocks: mcheck_jc_0656, mcheck_misra_slsf_011_b.

    • Usage of Lookup and Prelookup Table blocks: mcheck_jc_0626, mcheck_mes_slsf_0626.

    • Comments in Block Properties: The guideline ds_0082 now references misra_tl_1_2_a and misra_tl_1_2_b.

Improvements

  • Allow block name numbering for blocks with indentically-named constants with new check parameter ‘MISRA_SL_SF.misra_slsf_026_b.AllowBlockNumbering’ with guideline misra_slsf_026_b. (#11426, #11459)

  • The guideline mes_cgtl_4113 “Consistent Usage of Output Variables for Model and Code” and the associated check have been refined for better traceability between model, TargetLink data dictionary, and generated code. The default parametrization has been adapted to cover the main use cases. (#11525)

  • The check mcheck_db_0125_d now analyzes Stateflow atomic subcharts separately from the parent chart. (#6843)

Changes

  • The following guideline documents including their guidelines and checks are not part of the release anymore:

    • dSPACE - Modeling Guidelines for MATLAB®/Simulink®/Stateflow® and TargetLink® (dspace_tl_3_0)

    • Modeling Guidelines for dSPACE TargetLink - Version 4.0.3 (dspace_tl_4_0)

    • MISRA AC TL Modelling Style Guidelines for the Application of TargetLink in the Context of Automatic Code Generation (misra_ac_tl_1_0)

    • If you have any of these guideline in your guideline documents, the removed guidelines will be marked in red. Please refer to the new dSpace documents to add the new versions of the guidelines. You can find a mapping list in <MXAMDir>doc/MATLAB/dSpaceGuidelineMapping/dSpaceGuidelineMapping.xlsx

  • TargetLink Known Problems that are related to TargetLink versions older than 5.0 were removed from the document dSPACE TargetLink Known Problems

Bug Fixes

  • Some checks may have aborted when MXAM tried to evaluate a parameter of a block located in a library. This has been fixed. (#11427)

  • Fixed an issue where mcheck_na_0001 created false positive findings for charts with ‘ActionLanguage’ set to ‘MATLAB’ and ‘EnableBitOps’ set to false. (#11449, #11426)

  • Fixed an issue in mcheck_na_0039 where atomic subcharts were incorrectiy reported instead of Simulink Functions embedded in Stateflow Charts. (#6843)

  • Improved handling of syntax errors for checks mcheck_misra_slsf_038_a and mcheck_misra_slsf_038_b to now give a review. (#11352)

  • Fixed an issue where sdt_sc008 was not filtering out library blocks according to project global setting. (#11546)

  • Fixed an issue where mcheck_mes_cgtl_4306 aborted the analysis of Stateflow data items with the scope ‘Local’ or ‘Output’. (#11548)

  • Fixed an issue on Linux, where mcheck_ar_0001, mcheck_ar_0002, and mcheck_jc_0242 aborted because they failed to segment the MATLAB path. (#11593)

  • Fixed an issue where mcheck_jc_0773 reported a false positive for the execution order of unconditional inner state transitions when there are also existing outgoing transitions. (#11395)

  • Fixed an issue where mcheck_mes_mc_0011 and mcheck_mes_mc_0012 would abort on Simulink models that are not compilable. (#11608)