Wind River e Esterel creano una piattaforma di sviluppo software Safety-Critical

Pubblicato il 3 aprile 2007

La soluzione congiunta comprenderà la suite correct-by-construction Scade di Esterel Technologies e i tool di progettazione Scade Display, integrati con il sistema operativo real time (RTOS) VxWorks 653 di Wind River. Questo abbinamento consentirà al codice generato direttamente dal Qualified Code Generator KCG di Scade di integrarsi immediatamente con il RTOS VxWorks 653 di Wind River, riducendo il time-to-market e minimizzando i rischi legati alla certificazione e al deployment del sistema.

Questa soluzione combina il Qualification Kit di Scade per KCG, il Dvd di Wind River contenente i documenti di certificazione e, sempre da Wind River, il tool qualificato DO-178B per la configurazione Xml di un sistema ARINC 653, il tutto per accelerare il processo di safety certification. Inoltre, la soluzione congiunta offre ai platform provider, ai system integrator e agli application developer un metodo conveniente per passare dal progetto e dallo sviluppo delle applicazioni all’integrazione di sistema e alla certificazione RTCA DO-178B / DO-254 e EUROCAE ED-12B / ED-80, conforme anche al recente standard DO-297, che consente di controllare in modo organico l’integrazione di sistemi di tipo IMA (Integrated Modular Avionics).