Live data from Hacker News

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

programmers.stackexchange.com

11–20 of 29 posts

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

#11
post #10

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

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.

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

#12
post #10

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

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.

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.

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

#15

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.

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.

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

#18
post #4

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

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 ;-)

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

#19
post #10

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

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.

What do you mean by model?
Post reply on HN