Software tools from Model Engineering Solutions (MES) provide safeguarding and quality assurance in all phases of model-based software development. From requirements-based testing, guideline checks, and complexity measurement to quality monitoring, all MES Quality Tools emphasize automation and seamless documentation to ensure the traceability, time efficiency, high quality, and safety of your software.
MES Quality Tools simplify compliance with safety and quality standards such as ISO 26262 and ASPICE, and are suitable for use in quality assurance of automation technology in automotive embedded systems and mechanical engineering.
MES Model Examiner® (MXAM)
Easy Checking of Modeling Guidelines
The Model Examiner (MXAM) is your first choice for a comprehensive static model analysis. MXAM offers an easy way to check modeling guidelines, analyze model structure, and evaluate model metrics, all in a single tool. Comprehensive user guidance through analysis results as well as the repair and improvement process effectively ensures ISO 26262 standard compliance for your software models.
Ensuring ISO 26262 Complience
MES Model Examiner® is certified by TÜV SÜD as a T2 Offline Support Tool for use in safety-relevant software development in compliance with ISO 26262, IEC 61508, and ISO 25119. MES Model Examiner® analyzes software models for guideline compliance and guides the user through the repair and improvement process.
MXAM Functional Safety Solution
MXAM – Functional Safety Solution (MXAM) is essential for developers of safety-critical, ISO 26262-compliant software, helping fulfill key criteria for ISO 26262-compliance at model level. As an integrated solution for a comprehensive static model analysis, it bundles all the guidelines for making your models conform to international standards together with model metrics for the in-depth structural and complexity analysis of your models. MXAM includes checks for a powerful dataflow and control flow analysis with a focus on strong data typing, appropriate scaling and ranges of data, correct initialization of variables, and interface compatibility, as well as checks for improved testability. With MXAM you are perfectly equipped to develop safety-relevant software in compliance with ISO 26262
MES M-XRAY® (MXRAY)
Assessment of Model Architecture and Model Complexity
MES M-XRAY® is a tool for structural and complexity analysis of Simulink®, Stateflow®, Embedded Coder®, and TargetLink® models, using proven methods for calculating and evaluating model metrics. MES M-XRAY® model analysis delivers all the metrics you need to realistically evaluate the architecture, complexity, and size of your models. By identifying problematic model sections, MES M-XRAY® provides unique tool support for the model refactoring process. Moreover, reasonable and reproducible figures for overall model size support resource allocation for model development, testing, and review. These figures further ensure comparability between model versions and variations. MES M-XRAY® analyzes model architecture and evaluates model complexity, giving you complete transparency into your model
MES Test Manager® (MTest)
Reliable Model Test Management
MES Test Manager® (MTest) is a model test management framework that supports ISO 26262-compliant, requirements-based unit testing of Simulink®, Embedded Coder®, and TargetLink® models. The tool supports MIL, SIL, PIL, back-to-back and regression testing, and test case definition methods using measured data, Excel®, CTE/TESTONA, Simulink® Signal Builder, and MTCD (a test specification language for model testing developed by MES). A semi-formal syntax (MARS) supports the unambiguous specification of testable requirements. MARS enables automated generation of logic test cases and test case variants. MES Test Manager® supports and automates all components of testing to ensure efficient module and system testing of your models.
MES Quality Commander® (MQC)
Quality monitoring of software products
The MES Quality Commander® captures all key data relevant for product quality throughout your software lifecycle. As a dynamic management and control tool for use in qualitative software development, it provides you with an objective basis for decision-making and reliable risk control. The MES Quality Commander® evaluates the quality and viability of your software product on the basis of all relevant development artifacts and the corresponding status and performance metrics. MES Quality Commander® automatically collects, normalizes, and consolidates all data that are relevant to software quality
MES Model & Refactor® (MoRe)
MES Model & Refactor® (MoRe) is a productivity tool for modeling with MATLAB Simulink®. It integrates into the MATLAB Simulink® context menu and can be used with all Simulink versions from R2009b and above. MoRe’s functions support users during the modeling process and relieve them of common, time-consuming, and monotonous work steps. As a result of these improved editing possibilities in Simulink®, the modeling process is simplified, less error-prone, and faster. In particular, improving model structure when refactoring becomes decisively easier for the user.MES Model & Refactor® supports users in modeling with MATLAB Simulink® by simplifying and accelerating model editing and relieving them of monotonous work steps. Refactoring a model to improve its readability is also simplified effectively.
