Robust code - On Curiosity and its software

[Mark0]

An interesting post linked on OS news:

JLOUIS Ramblings - Getting 2.5 Megalines of code to behave

I cannot help but speculate on how the software on the Curiosity rover has been constructed. We know that most of the code is written in C and that it comprises 2.5 Megalines of code, roughly[1]. One may wonder why it is possible to write such a complex system and have it work. This is the Erlang programmers view.