From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00 autolearn=ham
	autolearn_force=no version=3.4.4
X-Google-Thread: 103376,58539c37894df295
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Received: by 10.68.136.71 with SMTP id py7mr108121pbb.4.1344489828869;
        Wed, 08 Aug 2012 22:23:48 -0700 (PDT)
Path: 
 g9ni12456959pbo.0!nntp.google.com!npeer02.iad.highwinds-media.com!news.highwinds-media.com!feed-me.highwinds-media.com!border3.nntp.dca.giganews.com!border1.nntp.dca.giganews.com!nntp.giganews.com!news-out.readnews.com!transit3.readnews.com!s09-10.readnews.com!unm2.readnews.com.POSTED!not-for-mail
X-Trace: 
 DXC==FWS@]0Ud041<Ei2JiG\M=[3OhcoN[H00X44`8^\]>7:8DHB_I2k0T0_WOU;SDD774PjXMm^;DL:424DKT5NOBk7JG?IXdh5TQ0alM@JQSKSI4
X-Complaints-To: abuse@ngroups.net
Date: Thu, 9 Aug 2012 07:23:47 +0200
From: Per Sandberg <per.sandberg@sandat.dyndns.org>
Newsgroups: comp.lang.ada
Subject: Re: Curiosity rover on Mars
Message-ID: <20120809072347.41d862e4@lufsen.sandat.dyndns.org>
References: <nYadncRnja0c57_N4p2dnAA@giganews.com>
	<91c0b518-899a-473f-96f8-2df630094412@googlegroups.com>
X-Newsreader: Claws Mail 3.8.0 (GTK+ 2.24.8; x86_64-redhat-linux-gnu)
Mime-Version: 1.0
Organization: readnews.com - News for Geeks and ISPs
NNTP-Posting-Host: 20ec81b6.newsreader.readnews.com
X-Received-Bytes: 2391
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Date: 2012-08-09T07:23:47+02:00
List-Id: <comp.lang.ada>

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 ??