Esterel Technologies>Products>DO-178B - Code Generator

DO-178B - Qualified Code Generation

SCADE Suite KCG - DO-178B Code Generator

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

Safe control structures

  • Mostly linear control sequences.
  • No loops, 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.

DO-178B waterfall flow with SCADE

This image shows a typicall DO-178B waterfall model with interaction and iteration loops between the levels.

SCADE Suite KCG Is Qualified for DO-178B on Recent Platforms

  • Windows XP Service Pack 1 (English version)
  • UNIX Solaris 2.8

SCADE Suite KCG Comes with a DO-178B Qualification Kit

Data DO-178B & FAA (N8810.91) requirement SCADE Suite™ KCG package DO-178B reference Delivered to Customer
Tool Qualification Plan Submit Tool Qualification Plan of KCG 12.2.3.a(1), 12.2.3.1 & 12.2.4 YES
Tool Operational Requirements Available
  • Version Content
  • Software requirements data of KCG, S2L and L2C
  • Reference Manual of SCADE & LUSTRE
 12.2.3.c(2) & 12.2.3.2 YES
Tool Accomplishment Summary Submit Tool Accomplishment Summary of KCG 12.2.3.c(3) & 12.2.4 YES
Tool Verification Records
(for example test cases, procedures and results)		 Available Accessible at Esterel Technologies premises 12.2.3
Tool Qualification Development data
(for example, requirements, design and code)		 Available Accessible at Esterel Technologies premises 12.2.3
Software Configuration Index Submit Software Configuration Index of KCG 9.3 YES

DO-178B Qualification Kit Content

© 1999–2008 Esterel Technologies, Inc. All rights reserved.