The Russian aircraft manufacturer Beriev is using the Ada programming language to control the avionics in its new multiple-amphibious aircraft, the BE-200.
Beriev has teamed up with Allied Signal (Bendix Air Transport Division) to develop the avionics for the aircraft.
Beriev required that the avionics technology meet all Federal Aviation Administration (FAA) requirements for certification.