Key points are not available for this paper at this time.
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.
Križan et al. (Thu,) studied this question.