Neuer Richtlinien-Checker für Simulink/TargetLink
Berlin / Paderborn: Mit dem Model Examiner 1.2 bringt die Firma Model Engineering Solutions (MES) eine neue Version des Richtlinien-Checkers für Simulink- und TargetLink-Modelle auf den Markt. Damit können Entwickler automotiver Steuergeräte für ihre TargetLink-Modelle (dSPACE-Seriencode-Generator) nun auch automatisch die Einhaltung von MISRA-TargetLink-Richtlinien (MISRA-AC-TL, www.misra.org.uk ) prüfen. 
Die neue Tool-Unterstützung bedeutet eine deutliche Zeitersparnis und ein weiteres Plus an Sicherheit für Steuergeräte-Entwickler, denn Richtlinien-Checks stellen aufgrund der schieren Größe heutiger Modelle und der Vielzahl an Richtlinien eine enorme Herausforderung dar. Ebenfalls mit an Bord des Model Examiners 1.2 sind automatische Modellüberprüfungen im Hinblick auf die Richtlinien des MathWorks Automotive Advisory Boards (MAAB) und die dSPACE-eigenen TargetLink-Richtlinien. Insbesondere die Entwicklung sicherheitskritischer Software (z.B. nach IEC 61508, ISO 26262) erfordert Modellierungsrichtlinien und somit die Beschränkung auf ein sicheres Sprach-Subset.
Der Model Examiner von Model Engineering Solutions (MES) ermöglicht neben einer Prüfung auf Richtlinienverletzung oftmals auch eine automatische Korrektur sowie Funktionalitäten zur Dokumentationsgenerierung. Projektspezifische Regelsätze können einfach zusammengestellt und auf Simulink-/TargetLink-Modelle angewendet werden. Starten lässt sich die Modellanalyse entweder über die grafische Benutzeroberfläche des Model Examiners oder mit Hilfe von Skripten. Damit können Entwickler den Model Examiner einfach in eine bestehende Werkzeugkette integrieren.
dSPACE und MES kooperieren bei der Weiterentwicklung von Modellchecks für (MISRA-)TargetLink-Richtlinien und AUTOSAR-Modellierungsrichtlinien.
Bild: dSPACE
