

The MES Model Examiner® (MXAM) is a comprehensive static analysis tool designed to enhance the quality and safety of model-based software development. It evaluates Simulink®, Stateflow®, and TargetLink® models against established modeling guidelines and industry standards, ensuring compliance and improving overall model integrity. Key Features and Functionality: - Static Testing: Conducts thorough analyses of model structures and metrics to identify potential issues early in the development process. - Compliance Assurance: Ensures adherence to modeling guidelines and safety standards such as ISO 26262, ISO 25119, IEC 61508, and DO-178B/C. - Quality Evaluation: Assesses models based on design principles and guidelines to maintain high-quality standards. - Automated Repairs: Offers guided improvements and automatic corrections to align models with compliance requirements. - Seamless Integration: Integrates with MATLAB®/Simulink® environments, supporting model-based design workflows. - Comprehensive Reporting: Generates detailed reports with findings and recommendations in various formats for easy review. - Scalability: Handles large-scale models efficiently, suitable for both individual workstations and enterprise-wide deployments. - Enhanced Code Generation: Supports standards like AUTOSAR to improve code quality, safety, and security. - Automation Support: Compatible with common platforms, both on-premises and cloud-based, facilitating integration into existing toolchains. Primary Value and User Solutions: MXAM addresses the critical need for early detection of modeling errors, ensuring that software models meet stringent safety and quality standards. By automating guideline compliance and providing tools for model improvement, MXAM reduces development time and costs associated with manual reviews and rework. Its integration capabilities allow for seamless incorporation into existing development environments, enhancing productivity and ensuring consistent model quality across projects.

MES Quality Commander (MQC) is a dynamic quality monitoring and management tool for software development. - MQC captures all decision-making data throughout your software life cycle. - MQC evaluates key performance indicators (e.g. guidelines, complexity, tests, coverage and reviews) for all relevant development artifacts. - MQC computes and visualizes the quality and product viability of your software. The interactive MQC Quality Dashboard guarantees that everything is always in view. Let MQC work for you: - MQC collects the most important information from your testing toolchain. - MQC shows the results of different tools in a comparable, objective, and consistent way. - MQC keeps your dashboard up to date and accessible with just a click. Experience the Interactivity of MQC: - Always know what is happening in your project. - Detect problems and analyze root causes. - Keep track of your progress and focus on the changes.

With the help of the "Auto Layout" functions, MES Model & Refactor (MoRe) facilitates your daily modeling tasks in Simulink. MoRe simplifies and accelerates model creation and model refactoring. Your MoRe benefits: - Auto Layout: MoRe automates the layout of Simulink models, allowing for a guideline-compliant layout at the touch of a button, and ensuring uniform models for the entire company. - Quality: Create high-quality, readable, and comprehensible models that are easily expandable and maintainable. - Efficiency: Edit and expand models quickly and effectively and welcome changing requirements, even late in development. Fast and easy model changes enable agile development.
We at Model Engineering Solutions (MES) strive for a world of safe technology in mobility. Our tools and expertise ensure the quality and safety of embedded software in a software-driven world to make tomorrow’s mobility safer. Our core values of excellence, knowledge, and trust inspire and drive us forward every day. We advocate quality assurance in the model-based development of embedded software. Our main focus is static model analysis and model improvement, primarily in MATLAB Simulink, the automotive industry's leading development platform. MES provides solutions in various development chains and highly-automated cloud environments for safe controller software. All but a few of the world's top-selling manufacturers and suppliers in the automotive industry rely on MES’ solutions in their development environments. Among them are Bosch, Continental, Hyundai, Magna, Mercedes-Benz, Stellantis, Toyota, Volkswagen, and ZF. Embedded systems are your expertise, safety is ours. Implementing our solutions right from the start ensures that errors are detected and corrected at an early development stage. The MES tools for comprehensive software quality ensure that your software complies with international industry standards like ISO 26262, IEC 61508, and ASPICE. TÜV approved.