[pron]

SCADE is also used in levels A-C:

> At present, more than 98 system types have been certified using SCADE DO-178B/C certified tools, for more than 53 aircraft programs, by multiple certification authorities, worldwide, such as the FAA, EASA, Transport Canada, and ANAC, for Levels C to A.

http://www.esterel-technologies.com/industries/do-178b-and-d...

[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.