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 IEC 61508 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.
Software development processes with SCADE Suite
IEC 61508 Certification of SCADE Suite KCG
Certification Documentation
Certification of SCADE Suite KCG is stated in TÜV SÜD Certificate Z10 07 04 55460 002. Certification Documentation is listed in the following table:
| KCG | Technical Report | Author |
| Up to 5.1.1 | Technical Report, No. EE 81046 T, 1.1 | TÜV SÜD Automotive & TÜV SÜD Rail |
| Technical Report, No. EE 72491 T, 1.0 | TÜV SÜD Automotive | |
| 6.0.1 | Technical Report, No. EE 82253 G, 1.0 | TÜV SÜD Rail |
| Safety Case Report, KCG60-TR-018, A | Esterel Technologies SA |
Report on the Certificate Z10 07 04 55460 002
Standards and Guidelines
SCADE Suite KCG is certified according to the regulation and standards listed in the following table:
| KCG 4.2 | KCG 5.1.1 | KCG 6.0.1 | Standard or Guidelines | Description |
| X | X | X | (DIN EN) IEC 61508-1: 2000 | Functional Safety of electrical/electronic/programmable electronic safety-related systems Part1: General Requirements |
| X | X | X | (DIN EN) IEC 61508-3: 2000 | Functional Safety of electrical/electronic/programmable electronic safety-related systems Part3: General Requirements |
| - | X | X | EN 50128: 2001 | Railway applications -Communications, signalling and processing systems -Software for railway control and protection systems |
Report on the Certificate Z10 07 04 55460 002
SCADE Suite KCG IEC 61508 Certification Kit
| Data | Availability |
| Tool Qualification Plan of KCG 6.0 | Delivered to Customer |
| Compliance Analysis of KCG 6.0 To Standard IEC 61508 | Delivered to Customer |
| Tools Requirements | Delivered to Customer
|
| Installation procedure | Delivered to Customer |
| Software Configuration Index | Delivered to Customer |
| Safety Case | Delivered to Customer |
| Tool Verification Records |
Accessible at Esterel Technologies premises
|
| Tool Qualification Development data |
Accessible at Esterel Technologies premises
|