Title |
Home | Esterel Technologies |
Description |
Esterel Technologies is a leading provider of critical systems and software development solutions for the aerospace, defense, rail transportation, nuclear, and industrial & automotive domains. System and software engineers use SCADE® solutions to graphically design, verify, and automatically generate critical systems and software applications with high dependability requirements. |
Keywords |
DO-178C, SCADE Suite, SCADE Display, ARINC 661, 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, automated implementation, formal methods, code generation |
|