I’ve been reminded that the Philae comet probe that landed today (see
http://www.cnn.com/2014/11/12/world/comet-landing-countdown/index.html), and its mothership, Rosetta, run software that was developed in Ada using the HOOD methodology. This is another great success for Ada spacecraft software. There is a bit about the software choices in the paper found at
http://adsabs.harvard.edu/full/1997ESASP.409..133D.