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=0.0 required=5.0 tests=BAYES_20,FREEMAIL_FROM
	autolearn=ham autolearn_force=no version=3.4.4
X-Google-Thread: 103376,382fcf8feeefdd50
X-Google-Thread: 1014db,382fcf8feeefdd50
X-Google-Attributes: gid103376,gid1014db,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news1.google.com!news2.google.com!postnews.google.com!m36g2000hse.googlegroups.com!not-for-mail
From: Nick Keighley <nick_keighley_nospam@hotmail.com>
Newsgroups: comp.lang.ada,comp.lang.c
Subject: Re: computer language used to program Mars Lander
Date: Mon, 14 Jul 2008 04:49:39 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <887fc0a7-0a5a-4d2e-a9ea-eb9e32d6a818@m36g2000hse.googlegroups.com>
References: 
 <185ee7f9-9d4f-4f49-8dbe-6b623b8a8223@c58g2000hsc.googlegroups.com>
NNTP-Posting-Host: 194.201.250.209
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Trace: posting.google.com 1216036179 21946 127.0.0.1 (14 Jul 2008 11:49:39
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Mon, 14 Jul 2008 11:49:39 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: m36g2000hse.googlegroups.com; posting-host=194.201.250.209;
	posting-account=sLi3rQoAAAB6wjiwo9v8I7Xw7Kf7_67C
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/4.0 (compatible; MSIE 6.0; Windows NT 5.1; SV1;
 .NET
	CLR 1.1.4322; .NET CLR 2.0.50727),gzip(gfe),gzip(gfe)
X-HTTP-Via: 1.0 proxy-server1
Xref: g2news1.google.com comp.lang.ada:1148 comp.lang.c:9426
Date: 2008-07-14T04:49:39-07:00
List-Id: <comp.lang.ada>

On 14 Jul, 12:18, "jhc0...@gmail.com" <jhc0...@gmail.com> wrote:
> Interesting article I came across on Slashdot:
>
> http://developers.slashdot.org/developers/08/07/10/213211.shtml
>
> They are using C at JPL to program Mars Lander and just about
> everything now! Not Ada. Anyone got an explanation? I wonder also, do
> they really mean C++ when they say C. In my experience, this is a
> frequent, although disagreeable usage.

contrary to popular expectations space probes are very
conservative in their use of technolgy. Processors are old
(and hence proven) memorys are small (less vulnerable to radiation).

Rememeber if there's a bug they can't just upgrade the software.
Well they can but it has to be mostly working for the download
to work.

These are essetially embedded systems and C is still popular
in that world.

I suspect its a damn sight easier to prove C correct than C++.

    a = b + c;

probably does what it says in C (assuming b and c have good values
and it doesn't overflow). In C++ there could be half a dozen
overloaded
operators in there.

--
Nick Keighley

I know not what I appear to the world, but to myself I seem to have
been
only like a boy playing on the sea-shore, and diverting myself in now
and
then finding a smoother pebble or a prettier shell, whilest the great
ocean of truth lay all undiscovered before me.
                    (Sir Issac Newton)