From the 1/13/03 Aviation Week & Space Technology, "AeroBytes", pg 393:

"Boeing is modifying B-1B bombers to carry a greater variety of smart
weapons in the Conventional Missions Upgrade Program, which includes
replacing the six computers in the avionics, navigation and weapons systems
with four more powerful units, each with a pair of PowerPC processor
cards.  The new computers employ Green Hills Software's Integrity real-time
operating system to take advantage of multiple-target capabilities and
other new features, and programming will be done in Ada with the company's
AdaMulti development environment."

Also, the article immediately preceding this one, about BAE Systems
Controls teaming up with DDC-I to develop Score-653 for safety critical
embedded systems, mentions that "Ada is considered a reliable language".

Marc A. Criley
Quadrus Corporation
www.quadruscorp.com