5 papers:
HILT-2012-OLearyS #automation #communication #development- FAA’s controller pilot automatic data communication (data comm) system software development (JO, AS), pp. 71–72.
SIGAda-2010-Schmidt #ada #case study #experience #integration #java- Experience report: Ada & Java integration in the FAA’s ERAM SWIM program (RBS), pp. 33–34.
- SIGAda-2002-Santhanam #ada #compilation #set
- The anatomy of an FAA-qualifiable Ada subset compiler (VS), pp. 40–43.
- SIGAda-2001-Santhanam #automation #certification #testing
- Automating software module testing for FAA certification (US), pp. 31–38.
AdaEurope-1994-SilbergR #ada #certification #runtime- FAA Certification of Ada Run-Time Systems (SS, TBR), pp. 489–498.
