> And how about the underling  operating systems, databases and other COT
> products?   I have seen DOD projects which go to great lengths to use
> "Safety-Critical" subsets of Ada ( Annex H) and then run them on an
> untested operating system.

.....which was written with one of the most error-prone languages ever
invented and built with an unvalidated coompiler.  :-)