Esterel Technologies | |
Certified model-based design, verification, and code generation for critical embedded applications. Supports DO-178B, EN 50128, IEC 61508 | |
Keywords : SCADE Suite, SCADE Display, VAPS, Oglx, EN 50128, EN50128, IEC 61508, DO-178B, DO178, DO178B, RTCA DO-178B qualification, DO178 code generator, IEC61508 certified, safety critical embedded software, correct by construction, unambiguous specifications, aut | |
H1 tags : ; | |
H2 tags : SCADE Suite®; SCADE Display®; SCADE System™; SCADE LifeCycle™; SCADE Solutions for ARINC 661 Compliant Systems |
Last Update : | 30/December/2011 |
Google PR : | N/A |
Internal links : | 60 |
External links : | 15 |
Archive : | Check how did the site look in the past? |