[paulydavis]

Yeah Simulink produces C code too. Doesn't SCADE produce c and Ada code to be compiled for the target? I mean most Control laws (application code) is now modeled and produces C code. I would not even call SCADE and Simulink a language. Custom OS's that run that SCADE code is written in C.

[pron]

Right, SCADE compiles down to C, but the development and verification are done in SCADE.