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

Autori
Ben Saoud, S. ; Gajski, D.D. ; Dorner, R

Vrsta, podvrsta i kategorija rada
Radovi u zbornicima skupova, cjeloviti rad (in extenso), znanstveni

Izvornik
2002 IEEE International Conference on Systems, Man and Cybernetics / - , 2002

ISBN
0-7803-7437-1

Skup
IEEE International Conference on Systems, Man and Cybernetics

Mjesto i datum
Hammamet, Tunis, 06.10.2002. - 09.10.2002

Vrsta sudjelovanja
Predavanje

Vrsta recenzije
Međunarodna recenzija

Ključne riječi
control engineering computing; formal specification; formal verification; machine control; motor drives; specification languages

Sažetak
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.

Izvorni jezik
Engleski

Znanstvena područja
Računarstvo

POVEZANOST RADA