Title: Esterel Technologies
Description: Critical Systems and Software Development Solutions. Supports DO-178B, EN 50128, IEC 61508
Keywords: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
