[Dyana] Генерация кода, верификация и сертификация в среде MATLAB и Simulink