DocumentCode :
240168
Title :
Automatic code generation from Matlab/Simulink for critical applications
Author :
Krizan, J. ; Ertl, L. ; Bradac, M. ; Jasansky, M. ; Andreev, A.
Author_Institution :
Div. of Aerosp. & Adv. Control, UNIS Corp., Brno, Czech Republic
fYear :
2014
fDate :
4-7 May 2014
Firstpage :
1
Lastpage :
6
Abstract :
This paper deals with usability of C-code, automatically generated from Matlab and Simulink environment in critical applications. In this case the code is produced via Model Based Design developing process which provides extended possibilities for testing and rapid control prototyping according to the DO-178C and DO-331. The algorithms tested firstly as models are then transferred to C-code automatically. This method decreases the possibility of errors caused by hand coding. The main goal was to inspect the options of usage of model based approach and define the modelling procedures to generate code which meets MISRA-C software standards. The defined processes could be used for developing the control algorithms for critical applications in avionics industry. The possibility of automatic generation of separate code parts (tasks) is discussed as well as possibility of automatic generation of whole system including scheduler and drivers for final platform. Defined processes were applied on model of BLDC motor sensor-less control algorithm for verification. The generated code was then transferred into digital signal controller TI-TMS320 to verify on final platform.
Keywords :
formal verification; program compilers; software prototyping; software standards; BLDC motor sensor-less control algorithm; C-code; DO-178C; DO-331; MISRA-C software standard; Matlab/Simulink; TI-TMS320; automatic code generation; automatic generation; avionics industry; control algorithms; digital signal controller; error possibility; hand coding; model based design developing process; modelling procedures; rapid control prototyping; separate code parts; Algorithm design and analysis; MATLAB; Mathematical model; Microcontrollers; Standards; Voltage measurement; Automatic code generation; Matlab; Model Based Design; Simulink;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Electrical and Computer Engineering (CCECE), 2014 IEEE 27th Canadian Conference on
Conference_Location :
Toronto, ON
ISSN :
0840-7789
Print_ISBN :
978-1-4799-3099-9
Type :
conf
DOI :
10.1109/CCECE.2014.6901058
Filename :
6901058
Link To Document :
بازگشت