Esterel Technologies>Products>SCADE Suite>Code Generation>SCADE Suite KCG™ Code Generator>DO-178B - Code Generator

DO-178B - Qualified Code Generation

SCADE Suite KCG™- DO-178B Code Generator

The qualifiable SCADE Suite KCG code generator produces C code that has all the properties required for safety-critical embedded software.

Safe control structures

• Mostly linear control sequences.
• Loops with static bounds, no recursion, no jumps.
• Therefore, predictable execution time.

Safe data structures

• No dynamic variables.
• Fully static memory allocation.
• Integrity of data can thereby be ensured.

Generated source C code

The source C code generated by KCG is verifiable and fully traceable to the corresponding SCADE model.

Development Process Using SCADE Suite

Our technology and methodology for DO-178B begins with the system requirements allocated to software from which we produce the formal software specification (software requirements). This creates a "contract" between the systems designer and the software architect. It is this contract which enables SCADE to become a communication vehicle between these two functions and lays the foundation by which SCADE can be used as a signoff document.

Customizable RTOS Adaptors for SCADE Suite® Generated Code

The SCADE Suite KCG™ Code Generator produces ANSI C optimized, platform independent, readable, and traceable code.

The executable code requires no proprietary runtime or processor libraries. Code can be run on any target microprocessor, including those with or without an RTOS. SCADE Suite directly targets Integrity® (Green Hills Software), VxWorks® (Wind River), PikeOS® (Sysgo).