High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT [chapter]

Paul Parkinson, Franco Gasperoni
2002 Lecture Notes in Computer Science  
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.
doi:10.1007/3-540-48046-3_13 fatcat:zu43edlqfrayzamamhx7gcuvw4