Re:The Applied Theory of writing bug-free code
by clawrencewenham on Sunday October 11, 2009 @01:35AM
(#874365)
I understand your hyperbole, but the stress isn't necessary. The market will reveal where it wants quality and where it doesn't.
Also, the Shuttle has always had 2 independently written systems, never five. There are five computers running software written to the same spec, but the physical redundancy wasn't the scope of the article.
BTW why did Nasa downgrade their redundancy to 2 systems in the Shuttle? I recall reading that during the lunar missions, they had 5 computers on board, all independent implementations of the same spec.