Technical Papers

High-Integrity Systems Development for Integrated Modular Avionics using VxWorks and GNAT

This paper presents recent trends in avionics systems development from bespoke systems through to COTS and emerging Integrated Modular Avionics architectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.

Attached Files

posted in GNAT Pro, Ada Compiler, Runtime Profiles, Ada 2005 / 95 / 83, Certification, Embedded Development, Safety-Critical Development

Aug 26th, 2002