Esterel bidrar med kodgeneratorn KCG Qualified Code Generator som om den används smart kan generera helt pålitlig programkod.
De koden ska genereras för Wind Rivers säkerhetskritiska realtidsoperativssystem VxWorks 653. Och allt ska ske i Wind Rivers utvecklingsmiljö Workbench.
I paketet ingår också en DVD från Wind River etiketterad Certification Artefacts plus ett DO-178B-certifierat konfigureringsverktyg kallat ARINC 653 XML.
Det här något som man kommer att kunna ha stor nytta av i projekt som Boeing 787 Dreamliner och Eurocopter EC-135, säger företagen i ett pressmeddelande.
Esterel har sedan ett år ett liknande samarbete med Wind Rivers konkurrent Green Hills där KCG genererar kod för Green Hills RTOS INTEGRITY-178B