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
Bleiben Sie bei Ihrer Tool-Chain
Optimierte Prozessautomatisierung mit dem MXAM Jenkins Plug-in
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®.
Nächste Webinare und Schulungen
Kontaktieren Sie uns
Vereinbaren Sie jetzt eine Live-Demonstration, testen Sie MXAM kostenlos oder stellen Sie uns direkt alle Fragen, die Sie haben.
