Linked by Eugenia Loli on Sun 21st Nov 2004 00:51 UTC, submitted by Lumbergh
Geek stuff, sci-fi... And you think your operating system needs to be reliable. Check the interview here.
Permalink for comment
To read all comments associated with this story, please click here.
CPU for space mission
by Sch on Sun 21st Nov 2004 10:45 UTC

(From Memory - may be an old Ars article)

CPU used by NASA need to be physicaly validated against space hostility and certified using formal method (i.e. prof that there are mathematicaly correct). This process takes at least 5 years. The process is not made by IBM. NASA bought CPU (VHDL?) implementation and made then validated by subcontractor using their own money. I guess that they also create models for exact CPU power comsuption per instruction.

NASA try also to reuse proven design. This is why you still can find magnetic memories from the 70's in NASA shuttles.