International Journal of Engineering and Technology

Due to the complexity and heterogeneity of systems, design and verification environments are widely requested. Such systems combine into continuous and discrete models. The main problem is the difference of algorithms between continuous and discrete simulators. The industrial tool Matlab/Simulink is widely used in modeling systems. The main advantage of this tool is its ability to model in a common formalism the software and its physical environment. Unfortunately, Matlab/Simulink still suffers from many limits in modeling and verification. Due to the multidisciplinary nature of advanced systems and to overcome these limits in modeling and verification, several tools based on combined language are adopted. This paper describes a novel verification technique for Control Units. A synchronization model between Matlab/Simulink and a real board is presented.