A novel verification technique for control units

Abstract—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. KeywordsHIL, Co-design, Simulator, Emulator, Verification, Simulink.

[1]  Hosam K. Fathy,et al.  Review of hardware-in-the-loop simulation and its prospects in the automotive area , 2006, SPIE Defense + Commercial Sensing.

[2]  Alper Sen,et al.  Introducing Hardware-in-Loop Concept to the Hardware/Software Co-design of Real-time Embedded Systems , 2010, 2010 10th IEEE International Conference on Computer and Information Technology.

[3]  Zdenek Hanzálek,et al.  Integrated Environment for Embedded Control Systems Design , 2007, 2007 IEEE International Parallel and Distributed Processing Symposium.

[4]  M. Bacic,et al.  On hardware-in-the-loop simulation , 2005, Proceedings of the 44th IEEE Conference on Decision and Control.

[5]  Vitalijs Osadcuks,et al.  SOFTWARE IN THE LOOP SIMULATION OF AUTONOMOUS HYBRID POWER SYSTEM OF AN AGRICULTURAL FACILITY , 2012 .

[6]  M. Abid,et al.  A SystemC/Simulink Co-Simulation Framework for Continuous/Discrete-Events Simulation , 2006, 2006 IEEE International Behavioral Modeling and Simulation Workshop.

[7]  Soha Hassoun,et al.  A transaction-based unified architecture for simulation and emulation , 2005, IEEE Transactions on Very Large Scale Integration (VLSI) Systems.

[8]  Mohamed Abid,et al.  Matlab/SystemC for the New Co-Simulation Environment by JPEG Algorithm , 2012 .

[9]  Melih Cakmakci,et al.  Model-in-the-loop development for fuel cell vehicle , 2011, Proceedings of the 2011 American Control Conference.

[10]  丁永前.  基于Real-Time Windows Target状态观测器的实验开发 , 2009 .