Not sure what means that most of the C code is auto generated. From what?
What is the Mars Curiosity Rover's software built in?
11–20 of 29 posts
Re: What is the Mars Curiosity Rover's software built in?
#12Not 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?
#13The two previous Mars rovers had some Java on them. I saw the code with my own eyes!
Re: What is the Mars Curiosity Rover's software built in?
#14Re: What is the Mars Curiosity Rover's software built in?
#15I 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.
Re: What is the Mars Curiosity Rover's software built in?
#16Not sure what means that most of the C code is auto generated. From what?
Re: What is the Mars Curiosity Rover's software built in?
#17Re: What is the Mars Curiosity Rover's software built in?
#18Thanks for posting! The existing answer had almost no detail, so I wrote another: http://programmers.stackexchange.com/a/159687/61021
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?
#19Not 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.