Specification and validation of new control algorithms for electric drives using SpecC language

Traditionally, developers of new control algorithms validate their studies by simulation using standard languages (C, C++, MATLAB, etc.). Therefore, designers of control devices have to translate this specification from the original language (standard language) to the co-design methodology language. This introduces a time/schedule delay. In this work, we propose to use SpecC language to specify the whole motor drive system that includes control algorithms, I/O modules and process to control. In contrast to other languages, SpecC allows to specify the system functionality in a clear and precise manner and the obtained specification, used for simulation, will serve, without the need for tedious rewrites, as input to the synthesis and exploration stages in the SpecC design methodology.