provided you're willing to pay for price for it.

The shuttle's computer are generated by a Level 5 CMM group. They're certified (and have worked) without problem for a long time now. (There's a wonderful article about them out there somewhere).

What's in the article (between the lines) is the cost for going CMM. The shuttle's code is the most costly per line than any other code (probably by an order of magnitude). Time to market? (ie: how fast they can recognize and push a fix out the door?...don't even ask. (It's that bad.) And don't ask the cost of upgrading the systems to newer computers. (Forget about using that new processor from AMD).

CMM works VERY well with well defined system and minimal changes where speed is not of the essence.

Why businesses seem to ignore these costs is beyond me.