Auto electronics
Informationalized Solution
R&D tools
MXAM Overview
MES is a high-tech company specializing in providing high-quality development tools and services for embedded software, with significant influence in the field of model-based development. MXAM (Model Examiner) is a professional tool developed by MES, designed for static analysis and verification in the MATLAB/Simulink environment. MXAM aims to help engineers and development teams ensure that their models comply with established modeling standards, industry standards (such as MISRA, MAB, Targetlink, etc.), and project-specific customized rules, thereby improving model quality and software safety.
As MES's partner in China, Polelink will assist Chinese customers in enhancing the quality of embedded software models using MXAM.
1.Model Static Analysis
MXAM applies various static analysis techniques (such as data flow analysis and control flow analysis) to automatically scan model structures to detect potential issues, such as inappropriate signal connections, uninitialized signals, division by zero, and negative inputs to square root operations.
MXAM can verify whether models comply with modeling standards such as MAB, MISRA AC SL/SF, MISRA AC TL, and Embedded Coder. MES's Functional Safety documentation summarizes and condenses guidelines related to functional safety, ensuring that developed models meet international safety standards such as ISO 26262, ISO 25119, IEC 61508, and DO 178B/C.
2.Optimizing Models to Prevent Coding Errors
In the Model-Based Development (MBD) mode, software models form the foundation of software code. Optimized software models can increase the success rate of software code generation, thereby saving development resources and allowing limited resources to be allocated to more urgent needs such as functionality development and testing.
MXAM provides specific modeling guideline documents for common software code generation tools such as Embedded Coder, TargetLink, and ASCET to ensure software model quality. It also ensures that Diagnostic and Code Generation within the model configurations comply with standards, thus guaranteeing the efficiency of automatically code generation.
3. Providing Comprehensive Reports and Model Repair Recommendations
The results of MXAM's modeling guideline reviews are very clear. If errors are detected, MXAM can directly indicate the part of the model where the error occurred, provide error analysis, and offer modification suggestions. In most cases, it also supports the automatic correction of erroneous parts in the model.
4. Interactive Model Review
In MXAM, personal comments on model violations can be added through annotations, continuously recording model review and evaluation results. MXAM can comprehensively summarize and document the results of both manual and automatic modeling guideline reviews.
5.Model Refactoring Support
5.1 Creating and Deleting Structure-Related Signals
Creating or deleting signals through the subsystem hierarchy is both time-consuming and error-prone. Using MoRe, such signals can be added or removed with a simple operation. By selecting the source port and target port, the associated inputs, outputs, and signal lines can be automatically generated or deleted.
5.2 Convenient Subsystem Refactoring
MoRe supports quick and easy modification and decomposition of models without affecting their functionality. With simple operations, connected functional modules can be moved into or out of subsystems. Additionally, a subsystem can be split into two subsystems or two subsystems can be merged into one.
MoRe supports the modification of subsystem interfaces. For example, you can change the port order of a subsystem externally through a dialog box.
5.3 Generating and Decomposing Buses
Using MoRe, connected signals can be quickly and easily grouped into a bus. This is a commonly used but time-consuming step when modifying models. During implementation, MoRe automatically generates the required Creator, Selector, and signal lines. Additionally, it provides the functionality to add signals to the bus and to decompose or merge Selectors.
6. Custom Model Rules
Users are allowed to define their own sets of rules based on internal best practices or specific standards and use them to check the model.
7. Support for Multiple Report Formats
The static scanning process in MXAM is fully automated. And upon completion of the static testing, detailed reports can be automatically generated to explain the results of the model checks. This facilitates tracking the progress of issue resolution and serves audit. MXAM supports various report formats, including HTML, PDF, EXCEL, and XML.
8. Certification
MXAM supports all testing activities required for product development under the ISO 26262 standard. According to ISO 26262 requirements, when using software tools for safety-related development activities, the software tools must undergo qualification assessment.
MXAM has been certified by TÜV SÜD (Technical Inspection Association of Southern Germany) and can be used in safety-related embedded software development processes, meeting the standards of ISO 26262, IEC 61508, and ISO 25119.
Client List (Partial)