SCADE Suite (Esterel Technologies, Inc.)
The Standard for the Development of Safety-Critical Embedded Software in Aerospace & Defense, Rail Transportation, Energy and Heavy Equipment Industries
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.
Esterel Technologies, Inc. · Strategic Software Partner
100 View Street, Suite 208
Mountain View, CA 94041
If you are interested in more information on how Wind River partners with this company, click here.