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=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!reader02.eternal-september.org!news.eternal-september.org!news.eternal-september.org!.POSTED!not-for-mail
From: Adam Jensen <hanzer@riseup.net>
Newsgroups: comp.lang.ada
Subject: Re: Failure of the Schiaparelli lander: A software problem?
Date: Mon, 31 Oct 2016 06:29:28 -0400
Organization: A noiseless patient Spider
Message-ID: <nv76dg$ou0$1@dont-email.me>
References: <04236df5-938d-49df-a74e-01faac6f7a15@googlegroups.com>
 <nv46tv$6ab$1@dont-email.me>
Mime-Version: 1.0
Content-Type: text/plain; charset=windows-1252
Content-Transfer-Encoding: 7bit
Injection-Date: Mon, 31 Oct 2016 10:29:04 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="917d08f02f8b1a7a444826479a4fff51";
	logging-data="25536"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX19L/cT59iHCSLFGgNsPIN8L"
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
In-Reply-To: <nv46tv$6ab$1@dont-email.me>
Cancel-Lock: sha1:Lgeq8KsVnxuBuSy36EOkoH7TTZc=
Xref: news.eternal-september.org comp.lang.ada:32213
Date: 2016-10-31T06:29:28-04:00
List-Id: <comp.lang.ada>

On 10/30/2016 03:19 AM, Dirk Craeynest wrote:
> FYI, in a press release [1] earlier this year, AdaCore wrote:
> 
>   Thales Alenia Space implemented in Ada two ExoMars On-Board Software
>   (OBSW) components: one for the Trace Gas Orbiter (TGO) on an ERC32
>   target, and one for the Entry, Descent and Landing Demonstrator
>   Module (EDM) on a LEON2 target.
> 
> So there already was (at least some) Ada software on the Schiaparelli
> lander.  The above quote seems to suggest that all software on the
> lander was in Ada, as the latter is named as one of the two components
> implemented in Ada...
> 
> Maybe someone from AdaCore or Thales on CLA can tell us more?
> 
> [1] http://www.adacore.com/press/ada-on-board-gnat-pro-helps-exomars-get-to-the-red-planet/

Supposition: what if having people say the same thing repeatedly in a
variety of verbose ways isn't the best way to insure that:

a) they understand what they are saying, and
b) what they are saying is correct.