Top > Products > Automotive ECU Development and Verification Solutions > MC-Checker
MC-Checker is an embedded code verification tool for automobile model-base development. It compares the behavior of the MATLAB/Simulink specification model with the hand-coded or auto-generated target code. Also the option to enable compatibility with dSPACE's TargetLink program is available.

Recently model-based development using MATLAB/Simulink has become more common for automotive ECU development. This development technique uses the MATLAB/Simulink defined vehicle models as part of the specifications for ECU software development. Auto Code Generation (ACG), a process that automatically generates C source code from the MATLAB/Simulink models, has also become a common practice recently.
However, there is a need for verifying the accuracy of auto-generated code so that it will function properly with the target device. The primary contributing factors for errors are:

MC-Checker can be used to test the embedded code by comparing it with the MATLAB/Simulink specification models. The MATLAB/Simulink models are executed by MILS (Model In the Loop Simulation), while the embedded code is executed using SPILS (Simulator-based Processor In the Loop Simulation).
Errors will be displayed on the dedicated graphical display.
The embedded code may be compiled using a cross compiler of your preference, and then executed using GAIO's ISS.

MC-Checker features optional support for dSPACE's TargetLink auto code generator with increased compatibility for numerous embedded processors' PIL boards not supported by dSPACE.
