Top > Engineering Services > MALTAB/Simulink Model Development Services
We provide MBD model (MATLAB/Simulink, Stateflow, TargetLink, UML/ADL) creation services from existing legacy C-code for use in the MBD development platform.
Models created from legacy code will be verified by comparing the original legacy C-code to auto-code generated from the models. The verification may be performed using GAIO’s unit test tool (CoverageMaster) or model/code back-to-back test tool (MC-Checker).