MXAM: Automatische Überprüfung von Modellierungsrichtlinien
Ob Simulink®, TargetLink® oder Stateflow: Der Model Examiner überprüft die Einhaltung von Modellierungsrichtlinien wie MAAB, dSPACE TargetLink, MISRA TL sowie firmenspezifische Erweiterungen schnell und zuverlässig.
Mit MXAM automatisieren Sie die Überprüfung der Modelle und erhöhen so die Modellqualität. Sie bestimmen, nach welchen Richtlinien Sie arbeiten möchten - MXAM zeigt Ihnen in übersichtlichen Berichten, wo Sie diese nicht einhalten. MXAM überprüft Ihr Modell bis ins Detail und übernimmt für Sie einen großen Teil des Modellreviews. Was bisher einen immensen Aufwand bedeutete, erledigt MXAM in kürzester Zeit.
Eine Analyse Ihrer Modelle lokalisiert nicht nur Regelverletzungen, sondern bietet Lösungsvorschläge und wenn möglich automatische Korrekturen. Zusammen mit der automatischen Reporterzeugung sparen Sie viel Zeit und Mühe und erhöhen gleichzeitig die Zuverlässigkeit bei der Modellierung sicherheitskritischer Systeme.
MXAM können Sie problemlos in verschiedene Entwicklungsumgebungen integrieren. Benutzen Sie MXAM als eigenständige Applikation, integriert in Ihre Entwicklungsumgebung bzw. innerhalb Ihres Continuous Integration Systems.
Übersichtliche Benutzeroberflächen gewähren Ihnen ein angenehmes und effizientes Arbeiten.
Was bietet MXAM?
Die übersichtliche Benutzeroberfläche macht es Ihnen besonders leicht: MXAM weist Sie sofort auf mögliche Schwachstellen hin. Und bietet dazu saubere Lösungen zur Problembeseitigung. So können mögliche Mängel umgehend korrigiert und repariert werden.
Als einziges Tool unterstützt MXAM MISRA Standards zur automatischen Codegenerierung. Und bietet Unterstützung für alle Simulink ® und Stateflow ®-Modelle sowie TargetLink ®.
Vorteile
- Automatische Überprüfung von Simulink ®, Stateflow ® und TargetLink ® Richtlinien
- Checks für MISRA TargetLink, dSPACE TargetLink und MAAB Richtlinien
- Checks für TargetLink typische Probleme
- Automatische Reparatur der Richtlinien-Verletzungen
- Klare Berichterstattung über gefundene und korrigierte Richtlinienverletzungen
- Einfache Eingliederung in Projektspezifische Entwicklungsumgebungen
- Einheitlicher Zugang zu den Richtlinien über den e-Guideline Server
- Voll funktionsfähige API für die Entwicklung und Integration Ihrer eigenen Modellchecks
- Checks durch Parameter anpassbar
- mehr als 100 Richtlinienchecks (Liste der verfügbaren Checks)
30 Tage selber testen: Evaluierungsanfrage
Vereinfachen Sie die Überprüfung der Richtlinien und testen Sie MXAM einfach selbst! Wir erteilen Ihnen eine Evaluierungslizenz. Damit haben Sie 30 Tage Zeit, MXAM zu testen und sich davon zu überzeugen, wie sich die Qualität Ihrer Modelle durch den Einsatz von MXAM erhöht. Hier gelangen Sie zum Download Ihrer MXAM Evaluierungslizenz.
Downloads
Tool support und Systemvoraussetzungen
- MATLAB R14SP3 +
- TargetLink 2.x, 3.0
- JRE 1.5+
Versionen
V 1.5 veröffentlicht am 31. Mai 2011
- Verbessertes Report Layout
- PDF Übersichtsreport
- MES Farb-Check für SL and SF
- Batch Funktion
V 1.4 veröffentlicht am 18. November 2009
- Parametrierung für MAAB und dSpace Checks
- Verbessertes Reporting mit Link zu den Parameter Quellen
- Ignore-Liste Kontextmenü
- DB Import von benutzerdefinierten Checks
V 1.3 veröffentlicht am 17. Februar 2009
- Enterpise Solution
- Checks für TargetLink typische Probleme
- TargetLink 3.0-Unterstützung
V 1.2 einschließlich MISRA AC TL Kontrollen veröffentlicht am 22. September 2008
- Checks für MISRA AC TargetLink-Richtlinien
- Ignore-Liste
- Statistiken
V 1.1 die erste offizielle Version veröffentlicht am 25. Februar 2008
Model Examiner ist in zwei Editionen erhältlich: Standard und Enterprise.
Unterstützung bei der Programmierung von Modellchecks
Große OEMs der deutschen Automobilindustrie vertrauen auf unsere Kompetenz – und übergeben uns Ihre Check-Implementierung nach firmenspezifischen Modellrichtlinien. MES erstellen Checks für Daimler, Volkswagen und AUDI – natürlich ganz nach individuellen Modellrichtlinien.
Gerne übernehmen wir auch ergänzende, spezielle Checks für Ihre Modelle.
Einfach anrufen oder eine E-Mail senden – wir freuen uns, Ihnen zu helfen!
Model Examiner Veröffentlichungen
- Stürmer, I., Stamatov, S., Eisemann, U.: Automated Checking of MISRA TargetLink and AUTOSAR Guidelines. To appear in Proc. of SAE World Congress 2009, SAE Doc. #2009-01-0267, Detroit (USA), April, 2009.
- Stürmer, I., Pohlheim, H., Eisemann, U., Beine, M.: Automatisierte Prüfung der MISRA TargetLink Richtlinien für die Modell-basierte Entwicklung eingebetteter Software im Automobil. In Automotive - Safety and Security 2008, Shaker Verlag, Aachen, 2008.
- Automatic Compliance Checks: Fully automated checks for TargetLink models, dSPACE magazin, 09-2008.
- Stürmer, I., Dziobek, C., Pohlheim, H.: Modeling Guidelines and Model Analysis Tools in Embedded Automotive Software Development. Proc. of Dagstuhl Seminar Modellbasierte Entwicklung eingebetteter Systeme (MBEES 2008), pp. 28-39, April, 2008.
Auszeichnung
Automotive Engineering International: SAE World Congress Tech Award 2008
SAE Leser und Kongressteilnehmer würdigen den Model Examiner auf der Konferenz 2008 als eine der besten neuen Technologien.










