Linked by Thom Holwerda on Mon 6th Aug 2012 14:42 UTC
OSNews, Generic OSes As the first images of the Mars Curiosity lander start pouring in, let's talk about what operating system it runs. As I found out via Hacker News, the project runs on VxWorks, a very popular embedded operating system used for truly mission critical tasks. I'd love to know just how much work has gone into making it bug-free - this isn't the kind of environment where you want code to fail.
Permalink for comment 529902
To read all comments associated with this story, please click here.
Micro-kernel and security conscious.
by moondevil on Mon 6th Aug 2012 15:42 UTC
moondevil
Member since:
2005-07-08

From what I can see from the VxWorks documentation, it also belongs to the successful micro-kernel family of operating systems like QNX.

It is also one of the embedded operating systems that has Ada as part of the standard set of native supported languages.

As for the Pathfinder, even if it was written in C, most likely JPL guys were following their security guidelines to write safe C code.

http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf

Reply Score: 8