MES Model Examiner® (MXAM)
Der MES Model Examiner® (MXAM) ist das führende Software-Tool für die umfangreiche statische Analyse Ihrer Modelle. MXAM bietet Ihnen neben der Überprüfung von Modellierungsrichtlinien auch die Analyse der Modellstruktur und die Bewertung von Modellmetriken – kombiniert in einem Tool.
Eine umfassende Benutzungsführung durch die Analyseergebnisse sowie durch den Reparatur- und Verbesserungsprozess gewährleistet effektiv die Konformität Ihrer Softwaremodelle nach ISO 26262. Eine der einzigartigen Funktionen des Werkzeuges ist die Unterstützung persistenter Annotationen. Diese ermöglichen Ihnen, einzelne Richtlinienverletzungen zu kommentieren und Ausnahmen zu begründen. Annotationen unterstützen die kontinuierliche Nachverfolgung und Dokumentation des Review-Prozesses sowohl für automatisch überprüfbare als auch für nicht automatisch überprüfbare Richtlinien.
Zertifiziert für ISO 26262, IEC 61508 und ISO 25119
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®. 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.
Was unsere Kunden über MXAM sagen
Mercedes-Benz Group
Volvo Cars
Mercedes-Benz Research & Development North America (MBRDNA)
MXAM - The Functional Safety Solution
Mit MXAM sind Sie bestens ausgestattet, um sicherheitsrelevante, standardkonforme Software zu entwickeln.
Die Integration von MXAM in Ihre bestehende Entwicklungsumgebung ist einfach einzurichten und flexibel skalierbar, von Einzelarbeitsplätzen bis hin zur Continuous Integration (CI-Jenkins Server Support via MES Jenkins Plugin). MXAM bietet darüber hinaus Cloud- und Docker-Support für Linux und Windows.
Ihre Vorteile mit dem MES Model Examiner®:
Produktivität
- Effiziente Unterstützung für Model Review und Modelloptimierung
- Einfache Konfiguration automatischer Analysen
Skalierbarkeit
- Prüft auch große Modellsysteme mit Leichtigkeit
- Einsatzbar von der einzelnen Workstation bis zur firmenweiten Integration
Kontrolle
- Umfangreiches Management von Guidelines und Checks
- Unterstützung diverser Technologien zur Toolchain-Integration
Konformität
- Sichert die Konformität mit Modellierungsrichtlinien und typischen Sicherheitsstandards (ISO 26262, ISO 25119, IEC 61508, DO 178C etc.) ab
- Tool Qualification Kit gemäß ISO 26262
Wie MXAM Sie unterstützt:
1. Robuste Modelle
Die Fokussierung des Modellierungsstils auf Best Practices hilft, Modellierungsfehler bereits frühzeitig zu verhindern, sodass robuste Modelle für die weitere funktionale Verifikation zur Verfügung stehen. In MXAM sichern die Modellierungsrichtlinien der Standards MISRA SL/SF, MISRA TL, Embedded Coder sowie TargetLink Known Problems diese Robustheit der Modelle ab. Das MES Functional Safety-Dokument bietet zusätzlich Richtlinien insbesondere zur Absicherung der robusten Modellierung für sicherheitskritische Softwarefunktionen. Diese Ergänzung ermöglicht daher die Modellierung in Konformität mit Sicherheitsstandards wie ISO 26262, ISO 25119, IEC 61508 und DO 178C.
2. Reduzierter Wartungsaufwand
Ein einheitliches Layout von Modellen erhöht deren Lesbarkeit und Wartbarkeit und hilft dadurch Fehlerstellen zu identifizieren. Die Richtlinien des MAAB-Standards, ergänzt durch weitere MES Layout- und MES Best Practice-Richtlinien, stellen dies in MXAM sicher.
3. Optimierte Modelle für Autocoding
In der modellbasierten Entwicklung ist das Softwaremodell die Grundlage für den Softwarecode. Bei optimaler Vorbereitung der Modelle kann die Codegenerierung automatisiert erfolgen. Dies schont Entwicklungsressourcen. Kapazitäten werden dort eingesetzt, wo sie gebraucht werden: bei der Funktionsentwicklung und -absicherung. Für die gängigen Codegeneratoren wie Embedded Coder, TargetLink und ASCET bietet MXAM spezifische Richtliniendokumente an, um die Modelle für eine effiziente Autocodegenerierung fit zu machen.
4. Umfassende Berichte und angeleitete Modellreparatur
In MXAM erhalten Sie einen klaren Überlick über die Ergebnisse Ihrer Richtlinienprüfung. Ist ein Fehler aufgetreten, führt Sie MXAM direkt zum fehlerhaften Element, liefert eine Fehlerbeschreibung mit Lösungsmöglichkeit, und stellt in vielen Fällen eine Korrektur-Funktion zur Verfügung, die den Fehler auf Wunsch automatisch repariert. Eine zeitsparende und komfortable Möglichkeit Ihr Modell auf Linie zu bringen.
5. Interaktiver Peer-Review am Modell
Mit MXAM können Sie Kommentare zu einzelnen Regelverletzungen mittels Annotationen hinterlegen. So können Reviews und Bewertungen von Ergebnissen persistent dokumentiert werden. MXAM garantiert so eine komplette Dokumentation der Richtlinienprüfung. Für automatisch geprüfte als auch für manuell durchgeführte Richtlinienprüfung wird die Dokumentation integriert erzeugt und abgelegt.
6. Flexible Dokumentation
Die Dokumentation der Prüfung und der Ergebnisse erfolgt in MXAM automatisch. Berichte können im HTML-, PDF-, EXCEL- und XML-Format auf nutzerdefinierten Templates erstellt werden.
7. Modellierungsrichtlinien komfortabel verwalten
Ein spezielles Framework erlaubt die komfortable Verwaltung der umfangreichen Richtlinien- und Checkbibliothek in MXAM. Zudem können firmeninterne Richtlinien und Checks einfach in die Bibliothek eingebunden und verwaltet werden. Diese transparente Verwaltung dient der eindeutigen Nachvollziehbarkeit von Qualität. Jederzeit kann das Ergebnis einer Modellprüfung reproduziert werden.
Unser Schulungsprogramm rund um MXAM
Unser Schulungsportfolio an der tudoor academy umfasst neben Themen rund um Sicherheit und Software auch ein breites Angebot rund um MXAM und statischen Modelltest.