MES Model Examiner® (MXAM)

Automatisierte Modellprüfung

Der MES Model Examiner® (MXAM) ist die erste Wahl für die automatisierte Richtlinienprüfung von MATLAB Simulink®/Stateflow® -, MathWorks Embedded Coder®-, dSPACE TargetLink® -, SparxSystems Enterprise Architect®- und ETAS ASCET®- Modellen.

ISO 26262-konforme Absicherung von Modellierungsrichtlinien

MXAM beinhaltet alle Richtlinien der aktuellen Modellierungsstandards für MATLAB®. Die Editionen MXAM MISRA Compliance Solution und MXAM Functional Safety Solution ermöglichen es, schnell und übersichtlich die MISRA®- sowie ISO 26262-Konformität von Modellen abzusichern. Damit sind sie optimal auf die automatische Codegenerierung mit Embedded Coder® oder TargetLink® vorbereitet.

ASPICE-konforme Absicherung

Die Edition MXAM ASCET Solution bietet umfangreiche Best Practice-Richtlinien zur effizienten Erstellung von ASCET-Modellen. Die Anfordungen der Dokumentation und Kommunikation von Artefakten gemäß ASPICE werden in der Richtlinienprüfung mit MXAM perfekt umgesetzt.

Firmenspezifische Erweiterungen

Selbstverständlich können mit MXAM auch firmenspezifische Modellierungsrichtlinien schnell realisiert und zuverlässig geprüft werden. Zur Einbindung dieser Checks bietet MXAM ein umfangreiches Verwaltungsframework.

 

 

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 Tool-Chain-Integration
KONFORMITÄT
  • Sichert die Konformität mit Modellierungsrichtlinien und typischen Sicherheitsstandards (ISO 26262, IEC 61508, DO 178C etc.) ab

 

Wie MXAM Sie unterstützt:

1. Robuste Modelle
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
Guideline Documents

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
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
Annotationen

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
MXAM-Berichte

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
GuidelineCheckManagement

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.

MXAM Editionen im Vergleich:

MXAM Guidelines Checks