On Wed, 14 Jun 2000, Jeff Carter wrote:

> Boeing and Airbus could both have chosen C++ for their
> commercial-jetliner fly-by-wire software. However, they both chose to
> use Ada.

I wonder where the documentation is for the assertion that Airbus
is programmed in Ada.  Would be good if this were publicly available.
Originally, Airbus was not programmed in Ada.  Perhaps there is some
report somewhere that provides more information on this.

As a side thought, an article on the use of Ada for commercial avionics
would be entertaining in a publication such as Aviation Week.

Richard Riehle