Re: Curiosity rover on Mars

[Per Sandberg <per.sandberg@sandat.dyndns.org>]

On Wed, 8 Aug 2012 11:31:11 -0700 (PDT)
"Jeffrey R. Carter" <ggsub@pragmada.co.cc> wrote:

> On Wednesday, August 8, 2012 7:41:05 AM UTC-7, Peter C. Chapin wrote:
> > The Curiosity rover successfully landed on Mars earlier this week. 
> > Congratulations to NASA and to all those who worked on the daring
> > and controversial new landing system---which apparently worked
> > perfectly. I saw a NASA video that mentioned that there was 500,000
> > lines of code in the EDL (Entry, Descent, and Landing) system. Does
> > anyone happen to know if there is any Ada on board that spacecraft?
> 
> According to
> 
> http://programmers.stackexchange.com/questions/159637/what-is-the-mars-curiosity-rovers-software-built-in
> 
> it's in C, possibly "mostly auto-generated".
I think it's fascinating that we talk about systems written in C when
the code is produced by pass-0 in tool-chain where the last
pass consists of of a call to a traditional compiler.

What would be interesting to know is in what language did the engineers
put their intellectual effort,

If the automated tool chain is:

 "C -> Assembly -> MachineCode"
 "Ada -> Assembly -> MachineCode"
 "Ada -> C -> Assembly -> MachineCode"
 "simulink -> C -> Assembly -> MachineCode"
 "simulink -> Ada -> C -> Assembly -> MachineCode"

All the above scenarios are possible so in what language is the system
written in ??