A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2012; you can also visit the original URL.
The file type is application/pdf
.
High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT
[chapter]
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