Esterel Technologies Joins the Wind River Partner Validation Program
ELANCOURT, France & BOSTON--Esterel Technologies, the leading worldwide provider of model-based development solutions for mission- and safety-critical systems, has announced its membership in the Wind River Partner Validation Program for the industrial and medical markets, which offers validated software components and an ecosystem with a clear commitment to industry connectivity, vertical application stacks, and tools.
By participating in this program, Esterel Technologies’ customers can be assured that the SCADE KCG® certified code generator properly translates SCADE formal graphical models to efficient executable code running on VxWorks. The SCADE KCG code generator already has been certified by TÜV SÜD to Safety Integrity Level 3 (SIL 3) under IEC 61508, providing further evidence of Esterel Technologies’ commitment to certified application generation. This, combined with the VxWorks- and SCADE-validated software development solution, will be particularly attractive to the industrial and medical software development industries where risk mitigation and time-to-market are primary concerns for product developers.
“This comprehensive development environment is extremely valuable to those projects that require certification or approval under IEC 61508, IEC 62304, or FDA 510(k), as it presents formal model-based development, certified code generation, verification, and certified operating system deployment. Each of these capabilities brings tremendous value to developers in these domains,” said Eric Bantegnie, President and CEO of Esterel Technologies.
“Wind River has forged strong partnerships with market leaders like Esterel Technologies to bring customers a validated software stack that meets the stringent safety and reliability requirements of the industrial and medical markets,” said Jens Wiegand, general manager, Industrial and Medical, Wind River. “With this validation, common customers of Esterel Technologies and Wind River now have a proven platform for safety critical software development which meets industrial standards, shortens time-to-market, reduces project risk, and improves developer productivity.”
For safety- or life-critical software application developers in the industrial and medical domains, the pressures of increasing application complexity, more stringent controls, and shortened time-to-market drive the need to look for better system and software development solutions. Formal model-based development with SCADE offers a simplified yet rigorous methodology for creating high-quality, more reusable, more maintainable designs faster. These designs can be easily linked to formal requirements into and throughout the development process. From these formal graphical models, automated verification and simulation at the model level ensure the functional requirements are achieved. Certified code generation for VxWorks from SCADE Suite® (for the control application software) and SCADE Display™ (for embedded device displays) quickly generates the embeddable application.
About Esterel SCADE
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.
- FDA 510(k), IEC 62304 for Medical Applications
- IEC 61508 certified up to SIL 3 by TÜV for Heavy Equipment, Automotive and Energy
- DO-178B qualified up to level A for Military and Aerospace Industries
- 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 defense, industrial, energy, medical, and transportation applications. SCADE Display has been qualified under DO-178B to level A for military and aerospace industries.
About Esterel Technologies - An ISO 9001:2008 Certified Company
Esterel Technologies is the worldwide leader of model-based design, verification and code generation tools for mission and safety-critical embedded systems.
Esterel Technologies is a privately held company with European headquarters in Elancourt, France, U.S. headquarters in Boston Massachusetts, with direct sales offices in Germany, the United Kingdom, and China. Esterel is supported by channel and service partners worldwide.
For additional information, visit the Esterel Technologies website at: www.esterel-technologies.com.