[mopsi]

"Boeing flies 99% on Ada" http://archive.adaic.com/projects/atwork/boeing.html So does Airbus, as far as I know. Air traffic control systems across the world also rely on Ada.