 |
 |
The Standard for the Development of Safety-Critical Embedded Display Software in Aerospace & Defense
|
Designed for the Highest Levels of Quality and Safety
Code generation qualifiable for DO-178B (up to Level A), certifiable for IEC 61508 and EN 50128 (for all SIL)
- 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.
|
| |
