Designed for the Highest Levels of Quality and Safety

Code generation qualifiable for DO-178B (up to Level A), certifiable for IEC 61508 certified at SIL 3 and EN 50128 certified at SIL 3/4.

• Coding errors are eliminated.
• Designs are verified earlier in the project, eliminating late-stage bug discovery.
• KCG Code Generator qualification eliminates the need for low level testing.
• KCG Code Generator enables a rapid return on investment.
• KCG Code Generator is qualified on UNIX and Windows platforms.
• KCG Qualification Kit provides documentation such as the Tool Qualification Plan (TQP) and the Tool
• Accomplishment Summary (TAS) to facilitate your program certification.

Across-the-board Quality and Productivity

• Overall model-based software development support, from requirements to target.
• Rigorous semantics of modeling, proven code generation algorithms, and formal proof technology wrapped in a user-friendly tool.
• Strong quality and efficiency improvement for specifications capture, documentation and QA (quality assurance) rules enforcement.
• Clean formalization of your in-house knowledge, enabling IP (intellectual property) management at the model level.

With SCADE formal modeling, what the designer thinks is what is designed and what others understand.

If you are interested in more information on how Wind River partners with this company, click here.