FYI - I think you know this but Intel has now qualified their basic Pentium as rad hardened for space.

Then, there's the more difficult matter of error free, proven safe code. I do believe that strongly typed HLLs offer the best approach to reliable SW. Proving that the SW is bug-free is another matter, although everyone remembers the 501 alarm from Apollo 11 which was basicly a system SW flaw when inadvertantly a switch was left on that flooded the computer with unwanted data. Other than not leaving the switch on, perfect SW woulda indicated that it was receiving input inappropriate for that phase. Perfect SW has yet to be written.

-p