MES Model Examiner® (MXAM)

Your guide to better modeling

Statisches Testen mit dem MES Model Examiner® (MXAM)

Der MES Model Examiner^® (MXAM) ist das führende Software-Tool für die umfangreiche statische Analyse Ihrer Modelle. Als Functional Safety Solution bietet MXAM Ihnen neben der Überprüfung von Modellierungsrichtlinien auch die Analyse der Modellstruktur und die Bewertung von Modellmetriken – kombiniert in einem Tool. Die Integration von MES Model & Refactor^® (MoRe) macht Ihre täglichen Modellierungsaufgaben darüber hinaus noch einfacher, schneller, weniger fehleranfällig und unterstützt beim Beheben von Richtlinienverletzungen.

Ihre Vorteile mit MXAM

Static Testing

MXAM bietet essentielle Unterstützung für Sicherheitsaktivitäten im zertifizierten Arbeitsablauf

Compliance

Sichert die Konformität mit Modellierungsrichtlinien und typischen Sicherheitsstandards (ISO 26262, ISO 25119, IEC 61508, DO 178B/C, ASPICE etc.)

Quality Assurance

Bewertung der Qualität von Modellen im Hinblick auf Software-Architektur-Design-Prinzipien und Modellierungsrichtlinien

Simply Better Models

Reparatur und angeleitete Modellverbesserungen mit richtlinienkonformem Layout auf Knopfdruck

Model-Based Design

MXAM und Simulink arbeiten Hand in Hand - Nahtlose Integration in eine MbE-Toolchain

Model Analysis

Analysiert Softwaremodelle automatisch mit schnellen Ergebnissen – Berichte mit detaillierten Ergebnissen und schneller Navigation in verschiedenen Formaten

Scalability

Verwaltet selbst große Softwaremodelle mit Leichtigkeit, von einzelnen Workstation bis zur firmenweiten Integration

Enhanced Code Generation

MXAM unterstützt konforme Software für Standards wie AUTOSAR - Verbesserte Codequalität, Safety und Security

Automation

MXAM unterstützt alle gängigen Plattformen, lokal oder in der Cloud - Einfache Integration in Ihrer Toolchain mit zentralem und skalierbarem Setup

Wie MXAM Sie unterstützt

AUTOSAR-konformes Modellieren mit MXAM

MXAM ist das führende Software-Tool für die umfangreiche statische Analyse Ihrer Modelle. Verbessern Sie Codequalität und Sicherheit durch die Entwicklung von AUTOSAR-konformer Software mit MXAM.

MXAM als Teil ISO-konformer Referenzworkflows

MXAM bietet Unterstützung für das ISO 26262-6 Referenzphasenmodell und die entsprechenden Referenzworkflows, um sicherzustellen, dass einfach bessere Modelle erstellt werden können.

Bereit für Automatisierung

Die Integration von MXAM in Ihre vorhandene Entwicklungsumgebung ist äußerst skalierbar und unkompliziert einzurichten, sei es für einzelne Arbeitsbereiche oder für kontinuierliche Integration.

Statisches Testen leicht gemacht

MXAM und MATLAB arbeiten Hand in Hand. MXAM kann die statische Analyse Ihres Modells aus Simulink heraus durchführen und automatische Korrekturen bei Richtlinienverstößen vornehmen.

Bessere Modelle mit nur 3 Klicks

MXAM - Your guide to better modeling. Die automatische Reparaturfunktion von MXAM macht die Einhaltung von Richtlinien zu einem problemlosen Prozess. Sie können Richtlinienverletzungen in nur 3 Klicks finden und beheben.

Modellierungsrichtlinien führen zu besseren Modellen

Wie können Modellierungsrichtlinien Ihnen helfen, einfach bessere Modelle zu entwickeln? Sehen Sie, wie unsere Experten über Modellierungsrichtlinien, Stile und deren Einfluss auf verschiedene Aspekte der Modellierung diskutieren.

Alle Videos anzeigen

Bleiben Sie bei Ihrer Tool-Chain

Optimierte Prozessautomatisierung mit dem MXAM Jenkins Plug-in

Das Jenkins-Plugin bietet komfortable Unterstützung bei der Einrichtung der Automatisierung.

Automatisieren Sie Ihre Qualitätssicherung, indem Sie MXAM in Ihre Jenkins-basierte Automatisierungspipeline mit dem MXAM-Jenkins-Plug-in integrieren. Dieses leistungsstarke Tool integriert die Kernfunktionalitäten von MXAM nahtlos in die Jenkins-Automatisierungspipeline.

Wählen Sie einfach das gewünschte Modell und die entsprechenden Richtlinien aus und legen Sie Kriterien für das Bestehen/Nichtbestehen fest. Außerdem können Sie umfassende Berichte mit detaillierten Ergebnissen erstellen und veröffentlichen. Die Konfiguration wird über die intuitive MXAM-Jenkins-Plug-in-Benutzeroberfläche oder über Jenkins-Code durchgeführt.

Für noch mehr Komfort können Sie E-Mail-Benachrichtigungen einbinden, um über den Automatisierungsprozess informiert zu bleiben.

Was unsere Kunden über MXAM sagen

Standardkonforme Modelle erzielen

MXAM prüft automatisch Modellierungsrichtlinien von State-of-the-art-Standards und liefert die Resultate in einem umfassenden Bericht. Hier finden Sie eine Auswahl an automatisch prüfbaren Richtlinien:

MAB

jc_0141: Verwendung von Switch-Blöcken (Video ansehen)
jc_0773: Verwendung von Transitionen ohne Bedingung in Flussdiagrammen (Video ansehen)
jc_0451: Verwendung des unären Minus bei Zahlen vom Typ Unsigned Integer
db_0141: Signalfluss in Simulink-Modellen

MISRA

misra_slsf_006_b: Blockparameter - Kalibrierungsparameter
misra_slsf_036_c: Stateflow/Simulink-Interface-Signale, Parameter und Naming - Naming der Ein-/Ausgänge
misra_slsf_010_b: Reihenfolge der arithmetischen Operationen - Produktblock
misra_slsf_053_j: Positionierung der Transitionen - Anzahl der Endverzweigungen

MES Guidelines

mes_slsf_3800: Vermeiden von doppeltem Stateflow-Code (Video ansehen)
mes_slsf_1302: Redundante AND-Bedingung in Transitionen (Video ansehen)
mes_arch_1301: Beschränkung von lokaler Komplexität
mes_arch_1307: Vermeidung redundanter Modellierung (Klone)

Zertifiziert für ISO 26262, IEC 61508 und ISO 25119

Der Model Examiner ist vom TÜV SÜD als T2 Offline Support Tool für den Einsatz in der Entwicklung sicherheitsrelevanter eingebetteter Software gemäß ISO 26262, IEC 61508 und ISO 25119 zertifiziert. MXAM wendet sich an Funktionsentwickler:innen, Tester:innen und Qualitätsmanager:innen in der modellbasierten Entwicklung auf den Plattformen MATLAB®/Simulink®, Embedded Coder® und TargetLink®.

Zertifikat anzeigen