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.
The AI-Powered Lab Assistant with Scientific Awareness