> 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. :-)