Esterel Technologies provides critical embedded software development tools and services in the military/aerospace, transportation, energy, and industrial domains. Embedded systems and software engineers utilize Esterel Technologies solutions to graphically design, verify, and automatically generate critical embedded software applications. As members of the SCADE® product family, Esterel SCADE Suite® and Esterel SCADE Display® reduce time-to-deployment and certification for critical control and embedded graphics display applications respectively. Both products, with support for the full development life-cycle, from requirements through deployment and verification are certified for critical application development. SCADE automatic code generators have been certified/qualified according to the following standards by FAA/EASA and TÜV SÜD:
- DO-178B up to Level A for Aerospace and Defense Applications
- IEC 61508 up to SIL 3 for Transportation and Industrial Applications
- EN 50128 up to SIL 3/4 for Rail Transportation Applications
The SCADE products help real-time embedded system and software engineers address specification quality and accuracy by providing formal, deterministic, and verifiable specifications. Requirements are easily traced into and throughout the design process, and design documentation is always accurate and up to date. SCADE reduces the cost of implementation and verification by providing both static and dynamic analysis at the model level, enabling design flaws to be caught early in the development process when they are less costly to fix. Automatic, certified code generation technology virtually eliminates low-level unit testing, saving time and money in the verification process.
Click here to register for our FREE Webinar Series: Critical Embedded Software Solutions
Click to download Technical Whitepapers, Methodology Handbooks and Brochures/Datasheets.
