What is the Mars Curiosity Rover's software built in?

http://programmers.stackexchange.com/questions/159637/what-is-the-mars-curiosity-rovers-software-built-in

by joshuahedlund • 14 years ago

99 28 14 years ago

programmers.stackexchange.com

Sukotto• 14 years ago

Tangentially, "They Write the Right Stuff" was a very interesting 1996 article about writing the software running the space shuttle.

http://web.archive.org/web/20050830190246/www.fastcompany.co...

sodelate• 14 years ago

to be sure , vxworks

natep5• 14 years ago

Thanks for posting! The existing answer had almost no detail, so I wrote another: http://programmers.stackexchange.com/a/159687/61021

mturmon• 14 years ago

You dug up a great talk, but I could not find the PDF. There's no link, and the expected file FSW10_Cichy.pdf is not present with all the other PDFs in the download directory.

The author, Ben Cichy, was the guy in Flight Control during the landing last night, sitting behind the position marked "Flight Software". So he's definitely a good source for the background ;-)

natep5• 14 years ago

I don't know if there is a PDF. The media player is interesting, though, in that it's actually just some javascript that loads a sequence of stills at the appropriate time, and if you look at the source, you can write, say, a python script to download all the images, which I did. When I get home, I'll see if I can find it.

natep5• 14 years ago

OK, here's the script I had hacked together. It (or some previous version), successfully downloaded all of the images, and a timings.txt. It was then supposed to create a movie file of each slide of the appropriate length, concatenate them all, and add the audio. But my VM kept crashing, and then I never had time to get back to it. Plus, the movie file ended up being very large. But if you have python 2.7.2+, you can run it and grab the images.

https://github.com/nsp/gazpacho

ColinDabritz• 14 years ago

I believe the confusion between '500,000 lines' in the question vs '2.5 million/3.5 million' in the answers is the context. The 500,000 number is involved in the entry, descent, and landing (EDL) process specifically, and the rover systems are millions overall. Not sure why the values are 1m different, but the 2.5m citation is what is in the linked PDF.

sanxiyn• 14 years ago

Guess on 1 million difference: 2.5m citation is dated 2009, 3.5m citation is dated 2010.

natep5• 14 years ago

It's hard for me to imagine 1M lines of code being written/generated in a year and then flown. I suspect either the first person was responsible for testing only 2.5M lines of it, or they used different counting methods.

As the one who posted the larger figure, I'd say it's more reliable because it comes from the man who sat at the Flight Control station in the control center :D

bfe• 14 years ago

I'd think this is right, because the answer that gives the 2.5 million loc number also says that this code is descended from the code for Spirit/Oppie and further from Soujourner, but the EDL system for Curiosity is so different from the ones for the older rovers, it has to involve a lot of entirely new code.

eliben• 14 years ago

So much programming language research in the past 40 years, but C is, no doubt, still king.

jetti• 14 years ago

It is a lot of money to possibly waste on a language that is not proven, so why not stick with what works?

stox• 14 years ago

The processor is an embedded, radiation hardened, version of the PowerPC.

amirmansour2• 14 years ago

The two previous Mars rovers had some Java on them. I saw the code with my own eyes!

sgt• 14 years ago

I bet James Gosling was proud.

amirmansour2• 14 years ago

I bet he was. I also bet that MSL also has some Java on it since JPL is all about code reuse.

antirez• 14 years ago

Not sure what means that most of the C code is auto generated. From what?

mgurlitz• 14 years ago

They make models of the software before writing any code, and a lot of the code can be generated from the models. There's a guarantee that if the model is correct so is the code. Or, you don't have to check that your hand-written C actually matches the system you were building.

RodgerTheGreat• 14 years ago

This is really key. The guarantees provided by modeling systems are of limited value if the translation between model and runnable code involves manual labor.

msh• 14 years ago

What do you mean by model?

ArbitraryLimits• 14 years ago

Probably from Simulink.

natep5• 14 years ago

I wrote it[edit: by which, I mean the answer containing the sentence in question], and I'm not 100% sure, although there probably is a separate presentation in that year or a different year that describes their auto-generation process. I know that it was a popular topic in general at the FSW-11 conference.

Simulink is a possibility. It's a MATLAB component popular among mechanical engineers, and therefore most navigation & control engineers, and allows them to 'code' and simulate things without thinking they're coding.

Model-based programming is definitely a thing that the industry is slowly becoming aware of, but I don't know how well it's catching on at JPL or if they would have chosen to use it when the project started.

The third and most likely possibility is for the communication code. With all space systems, you need to send commands to the flight software from the ground software, and receive telemetry from the flight software and process it with the ground software. Each command/telemetry packet is a heterogeneous data structure, and is is necessary that both sides are working from the exact same packet definition, and format the packet so it is correctly formatted on the one side, and parsed on the other side. This involves getting a whole lot of things right, including data type, size, and endianness (although the latter is usually a global thing, you could have multiple processors onboard with different endianness).

But that's just the surface. You need lots of repetitive code on both sides to handle things like logging, command/telemetry validation, limit checking, and error handling. And then you can do more sophisticated things. Say you have a command to set a hardware register value, and that value is sent back in telemetry in a particular packet. You could generate ground software that monitors that telemetry point to ensure that when this register value is set, eventually the telemetry changes to reflect the change. And of course, some telemetry points are more important than others (e.g. main bus current), and are designated to come down in multiple packets, which involves extra copying on the flight side and data de-duplication on the ground side.

With all that, it's much easier (in my opinion) to write one collection of static text files (in XML, csv, or some DSL/what-have-you), run them through a perl/python script, and presto! Code!

gm34• 14 years ago

Are you planning hacking the Rover ? :)

zwieback• 14 years ago

The JPL coding standards (http://lars-lab.jpl.nasa.gov/JPL_Coding_Standard_C.pdf) linked in one of the comments seems surprisingly flexible. I would have expected more limitations.

kylemaxwell• 14 years ago

You could do worse than start at the NASA Github page:

https://github.com/nasa/

msantos• 14 years ago

Let's hope Nasa is not cutting corners like Boeing did (does?) running VxWorks on 747s and using telnet to connect to any 747 aircraft while in flight. EDIT: Boeing only connected to aircrafts to retrieve flight stats and other data. Or when following a customer request. The point I wanna raise is not the fact Boeing connects to aircrafts, but the fact they do so using non-crypt ol'telnet

What is the Mars Curiosity Rover's software built in?

Related Stories