Esterel

Esterel Technologies is the worldwide leader of model-based design, verification and code generation tools for mission and safety-critical embedded systems.

The Esterel SCADE® family of products offers an integrated design and development environment for mission and safety-critical embedded software applications. The core products in the family, SCADE Suite® and SCADE Display® offer graphical design entry, verification through simulation and formal methods, and certified code generation. These products also include integrated requirements management, configuration management, and automatic documentation generation, shortening the time-to-certification. SCADE Suite is the market leading model-based development environment dedicated to mission and safety-critical embedded software.

DO-178B qualified up to level A for Military and Aerospace Industries

IEC 61508 certified up to SIL 3 by TÜV for Heavy Equipment, Automotive and Energy

EN 50128 certified up to SIL 3/4 by TÜV for Rail Transportation

IEC 60880 compliant for Nuclear Energy

SCADE Display is the leading edge embedded graphics design and development environment dedicated to mission and safety-critical display systems in aerospace and defence, industrial, energy, medical, and transportation applications. SCADE Display has been qualified under DO-178B to level A for Military and Aerospace Industries.