JavaScript is currently disabled.Please enable it for a better experience of Jumi. Generera säker kod för VxWorks
Amerikanska Wind River och franska Esterel ska integrera sina utvecklingsverktyg.
Det gemensamma intresset är säkerhetskritiska inbyggda system för luftfart.

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
MER LÄSNING:
 
KOMMENTARER
Kommentarer via Disqus

Anne-Charlotte Lantz

Anne-Charlotte
Lantz

+46(0)734-171099 ac@etn.se
(sälj och marknads­föring)
Per Henricsson

Per
Henricsson
+46(0)734-171303 per@etn.se
(redaktion)

Jan Tångring

Jan
Tångring
+46(0)734-171309 jan@etn.se
(redaktion)