SCADE Suite KCG C & ADA Code Generator
SCADE Suite KCG is a C code generator from Scade models that has been qualified as a development tool for DO-178B software up to Level A, DO-178C/DO-330 at TQL-1, certified for IEC 61508 at SIL 3, and for EN 50128 at SIL 3/4, and qualified for ISO 26262 software up to ASIL D. This code generator saves verification effort in the coding phase, such as code reviews and low-level testing on the SCADE Suite KCG generated code. This productivity improvement shortens certification and/or modification time and effort. SCADE Suite KCG has successfully passed the qualification procedure on several large programs and is currently used in production for a number of programs in Europe, Asia, and the Americas.
Automatic Code Generation with SCADE Suite KCG
Generated code properties
Fulfills embeddable code constraints: static memory allocation, static bounded loops, no recursion
High quality and safe C and Ada production code: optimized, customizable, readable, and traceable
No dead code introduced by KCG
Qualifiable/certified SCADE Suite KCG 6.4
Qualifiable as DO-330 TQL-1 tool under DO-178C
Qualifiable as development tool under DO-178B
Qualified under ISO 26262:2011 at ASIL D and C
Certified under IEC 61508:2010 at SIL 3
Certified under EN 50128:2011 at SIL 3/4
SCADE Suite KCG 6.5
C and Ada code generation
Language and typing extensions (new iterators, bitwise operators, 8/16/32/64-bits numeric types (signed/ unsigned), and 32/64-bits floats
SCADE Suite KCG Ada Code Generator
The SCADE Suite KCG Ada code generator produces standard Ada 95 code that is compliant with SPARK 95.
SCADE Suite KCG Ada / SPARK seamlessly fits into the development flows of existing Ada users.
Automatic integration of the generated code to Wind River® VxWorks® 653 and VxWorks® CERT, Green Hills® Software INTEGRITY™-178B, SYSGO PikeOS, and other RTOSes
Customizable RTOS Adaptors for generated code
ASAM MCD-2 MC code calibration capability linked to model