I found this blog post on Curiosity's hardware and software to be a fascinating read. The Curiosity rover has 2.5 million lines of C code running on custom radiation and extreme temperature hardened computer systems. The author presents his view as an Erlang programmer of how the systems are designed to be as fault-proof as possible.
If you read this far then you should
follow me on Twitter.