Qioptiq logo Raytheon

INDUSTRY TEAMINGS

INDUSTRY TEAMINGS

31 Jan 08. Esterel Technologies and AbsInt announced their partnership to offer a uniquely integrated environment for developing mission and safety-critical embedded software applications, featuring a seamless workflow between Esterel SCADE and AbsInt’s aiT and StackAnalyzer products. Esterel SCADE provides a full suite of Model-Based Design (MBD) tools from formal graphical design capture and validation down to embedded C code generation for mission and safety-critical production use. Esterel SCADE is the only MBD solution to offer DO-178B qualified C code generation up to level A, certified IEC 61508 C code generation up to SIL 3 and certified EN 50128 C code generation up to SIL 4.

Back to article list