Verify that the C compiler correctly compiles the C code generated by SCADE Qualified Code Generator (KCG) Подробнее »

The qualifiable SCADE Suite KCG code generator produces C code that has all the properties required for safety-critical embedded software. Подробнее »

The qualifiable SCADE Suite KCG code generator produces C code that has all the properties required for safety-critical embedded software. Подробнее »

Esterel SCADE Display is a flexible graphics design and code generation tool suite for the development of safety-critical embedded display systems. Подробнее »

The Standard for the Development of Safety-Critical Embedded Software in Aerospace & Defense, Rail Transportation, Energy and Heavy Equipment Industries Подробнее »