The "Charles de Gaulle" is France brand new nuclear aircraft carrier, launched a couple of months ago.
I read recently in a paper that "it was remarkable and unusual that NO software problem was discovered during field testing".

Of course you guessed it: a big part of the software is in Ada (with some C++ TBH). Coincidence, coincidence...

(BTW: there was a big noise in the press about the breaking of one propeller. Apart from the above article, nobody talked about the
big software success. Something that works is not an information... Maybe that's why we don't see Ada more often in the press :-)
---------------------------------------------------------
           J-P. Rosen ([log in to unmask])
Visit Adalog's web site at http://pro.wanadoo.fr/adalog