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) prüfen. 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.