The code generated by SCADE is target independent. For example the generated C code is MISRA compliant.

Vishal Ganore, ansys.com/student