Guideline Checker for Simulink/TargetLink
Supports MISRA TargetLink Rules

• MES Model Examiner 1.2: Automatic guideline checker for Simulink^®/TargetLink^®
• Automatic conformance checks for MISRA TargetLink, MAAB and dSPACE TargetLink guidelines in models
• Valuable aid to developing safety-critical software

Berlin/Paderborn, September 1, 2008. Automotive ECU developers can now check whether their TargetLink models (dSPACE production code generator) comply with the MISRA TargetLink guidelines (MISRA-AC-TL, www.misra.org.uk), by using the latest version 1.2 of the Model Examiner, the automatic guideline checker from Model Engineering Solutions (MES). The sheer size of today’s models and the huge number of guidelines are an enormous challenge to ECU developers, and the automatic conformance checks bring them considerable time savings and enhanced safety. Model Examiner 1.2 also makes automatic model checks with regard to MAAB guidelines (The MathWorks Automotive Advisory Board) and dSPACE’s own TargetLink modeling guidelines. Modeling guidelines including restriction to a safe language subset are especially necessary when safety-critical software is being developed (for example, according to IEC 61508, ISO 26262).

Automatic Model Checks: MES Model Examiner 1.2
The Model Examiner not only detects guideline violations, it also corrects many of them automatically, and it has functionalities for generating documentation. Project-specific rules can be defined simply and applied to TargetLink/Simulink models. Developers can run a model analysis from the Model Examiner’s own user interface or by calling scripts. This makes it easy for them to integrate the Model Examiner into an existing tool chain.

dSPACE and MES are cooperating on the further development of model checks for MISRA TargetLink guidelines and AUTOSAR modeling guidelines.

Berlin/Paderborn, September 2008