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