• MES Model Examiner 1.2 – Automatischer Richtlinien-Checker für Simulink®/TargetLink
• Automatische Prüfung auf Einhaltung von MISRA-TargetLink-, MAAB- und dSPACE-TargetLink-Richtlinien in Modellen
• Wertvolles Hilfsmittel für die Entwicklung sicherheitskritischer Software

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.

Automatische Modellüberprüfung: MES Model Examiner 1.2
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.

Model Examiner
Der Model Examiner (Version 1.2) der Firma Model Engineering Solutions (MES) überprüft in Simulink- und TargetLink-Modellen automatisch die Einhal-tung von Richtlinien und bietet Möglichkeiten zur Reparatur. Mit detaillierten Reports, einer einfachen Konfiguration sowie der leichten Integration in be-stehende Werkzeugketten bietet der Model Examiner Entwicklern eine große Zeitersparnis und eine Erhöhung der Sicherheit bei der Modellierung.

TargetLink
Der Seriencode-Generator TargetLink erzeugt hoch effizienten C-Code direkt aus Simulink/Stateflow-Modellen und wird in zahlreichen Serienprojekten weltweit erfolgreich eingesetzt. Die Liste der Anwendungen erstreckt sich über alle Fahrzeugdomänen wie Antrieb, Fahrwerk, Fahrerassistenz, Komfort sowie aktive und passive Sicherheitssysteme. TargetLink zeichnet sich insbesondere durch seinen automotiven Fokus, hohe Zuverlässigkeit, Prozessintegrierbarkeit sowie die Unterstützung von Standards wie AUTOSAR, OSEK, ASAM-MCD 2MC (ASAP2) aus.

MISRA-TargetLink-Modellierungsrichtlinien
Die Richtlinien tragen den offiziellen Titel „MISRA ACG-TL: Guidelines for the application of TargetLink in the context of automatic code generation“ und adressieren Aspekte der funktionalen Sicherheit.
Sie können über die offizielle MISRA-Website www.misra.org.uk bezogen werden.

Über Model Engineering Solutions GmbH (MES)
Model Engineering Solutions GmbH (MES) ist eine Software-Beratungsfirma und bietet Entwicklungsleistungen und Qualitätsmanagement für die modell-basierte Entwicklung eingebetteter Software auf Basis von Simulink-, Stateflow- und TargetLink-Modellen. MES berät seine Kunden bei der Produktivitätssteige-rung modellbasierter Software-Entwicklung und unterstützt dort, wo externes oder unabhängiges Expertenwissen gefragt ist. Die Definition und Überwachung von firmen- und werkzeugspezifischen Entwicklungsprozessen, Management der Testaktivitäten, Erweiterung und Pflege vorhandener Modellbibliotheken
oder die Erarbeitung von Modellierungsrichtlinien sowie Implementierung von Modellchecks sind nur einige Beispiel hierfür. Neben diesen Leistungen entwickelt und vertreibt MES Software-Werkzeuge zur Verbesserung der Qualität von Simulink- und Stateflow-Modellen, mit deren Hilfe funktionales Verhalten überprüft oder Software generiert werden soll. Die Prüfung bestimmter Eigenschaften der Modelle, die Einfluss auf die Qualität oder Sicherheit des aus dem Modell generierten Codes haben können, steht dabei im Fokus. Ein gutes Beispiel ist der Model Examiner, ein Werkzeug zur au-tomatisierten Überprüfung von Modellierungsrichtlinien, zum Beispiel der dSPACE-TargetLink- und
der MISRA-TargetLink-Richtlinien. Modellreviews, die sich im Wesentlichen auf funktionale Eigenschaften der Modelle beschränken sollten, werden dabei signifikant entlastet, indem formale Aspekte wie die Einhaltung von Richtlinien vorweg geprüft und teils automatisiert korrigiert werden.

dSPACE
dSPACE ist Anbieter von Werkzeugen für die Entwicklung von Steuergeräten und mechatronischen Regelungen. Dieses Marktsegment hat dSPACE vor nunmehr 20 Jahren mitbegründet und prägt es bis heute. dSPACE-Systeme ermöglichen es den Herstellern von Steuergeräten und Reglern, ihre Entwicklungszeiten und -kosten drastisch zu reduzieren und die Produktivität spürbar zu erhöhen. Möglich ist dies durch einen optimalen Mix aus Standardlösungen für Rapid Control Prototyping, Automatische Seriencode-Generierung, Hardware-in-the-Loop-Simulation und Steuergeräte-Applikation. Zudem werden umfassende Dienstleistungen angeboten – angefangen bei Schulungen vor Ort bis hin zu kundenspezifischem System-Engineering.
Inzwischen arbeiten bei dSPACE weltweit mehr als 800 Mitarbeiter – überwiegend Ingenieure. Zum Kundenkreis zählen fast alle bedeutenden Elektronikzulieferer und Hersteller der Automobilindustrie sowie namhafte Unternehmen aus anderen Bereichen. Alle großen Automobilhersteller und -zulieferer sowie Unternehmen aus der Luft- und Raumfahrt und der Antriebstechnik gehören zum Kundenstamm, darunter Airbus, Audi, BMW, Boeing, Daimler, Honda, Nissan, Toyota und VW.

www.dspace.de