In the field of Power Electronics, several types of motor control systems have been developed using microprocessors. Many of them are based on systems of differential equations, use state observers and need to handle multiple tasks in order to execute an optimal operation of the motor. The more complex is the system, the harder is to implement. Traditionally, many steps are carried out from the modelling stage to the real operation of the control systems, and require iterative tests to ensure the absence of error. A major part of the effort is focused on embedded software representation of the control system, which demands a large amount of code lines that may contain hard-to-detect bugs.