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.
This image shows a typicall DO-178B waterfall model with interaction and iteration loops between the levels.
SCADE Suite KCG Comes with a DO-178B Certification 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 |
|
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 |