Det er hverken Linux eller Windows, som lægger bunden for softwaren til Nasas Mars-succes. I stedet bruger Nasa et styresystem, som også er populært i biler, fly og tog.