Partner Product

SCADE Suite  (381)
The Standard for the Development of Safety-Critical Embedded Software in Aerospace & Defense, Rail Transportation, Energy and Heavy Equipment Industries

381
<B>Designed for the Highest Levels of Quality and Safety</B> <P>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. <UL> <LI>Coding errors are eliminated. <LI>Designs are verified earlier in the project, eliminating late-stage bug discovery. <LI>KCG Code Generator qualification eliminates the need for low level testing. <LI>KCG Code Generator enables a rapid return on investment. <LI>KCG Code Generator is qualified on UNIX and Windows platforms. <LI>KCG Qualification Kit provides documentation such as the Tool Qualification Plan (TQP) and the Tool <LI>Accomplishment Summary (TAS) to facilitate your program certification. </LI></UL> <P><B>Across-the-board Quality and Productivity</B> <P> <UL> <LI>Overall model-based software development support, from requirements to target. <LI>Rigorous semantics of modeling, proven code generation algorithms, and formal proof technology wrapped in a user-friendly tool. <LI>Strong quality and efficiency improvement for specifications capture, documentation and QA (quality assurance) rules enforcement. <LI>Clean formalization of your in-house knowledge, enabling IP (intellectual property) management at the model level. </LI></UL> <P><B>With SCADE formal modeling, what the designer thinks is what is designed and what others understand.</B> </P>
SCADE Suite
NO
software
The Standard for the Development of Safety-Critical Embedded Software in Aerospace & Defense, Rail Transportation, Energy and Heavy Equipment Industries