SCADE Suite
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.
Significant Savings Measured by SCADE Users:
- SCADE Suite can bring a minimum overall savings of 35% on the complete project development cost.
- SCADE Suite can bring a minimum cost savings of 50% on the software application development itself.
- SCADE Suite enables you to perform late specification changes request and have code ready and documented within 48 hours (source Eurocopter).