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: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
Newsgroups: comp.lang.ada
Subject: Re: Failure of the Schiaparelli lander: A software problem?
Date: Sun, 30 Oct 2016 07:19:27 -0000 (UTC)
Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven
Message-ID: <nv46tv$6ab$1@dont-email.me>
References: <04236df5-938d-49df-a74e-01faac6f7a15@googlegroups.com>
Injection-Date: Sun, 30 Oct 2016 07:19:27 -0000 (UTC)
Injection-Info: mx02.eternal-september.org;
 posting-host="3f4111ec993deb7c053f76bbe15d5bed";
	logging-data="6475"; mail-complaints-to="abuse@eternal-september.org";
	posting-account="U2FsdGVkX1+cIOVpq0Haf3WC7n1d6UXnxyhmmST8k+A="
Summary: Ada was used on the lander...
Originator: dirk@feles.cs.kuleuven.be. (Dirk Craeynest)
X-Newsreader: trn 4.0-test77 (Sep 1, 2010)
Cancel-Lock: sha1:U94YRKq2fTu/DevsR2+QP3YA/C0=
Xref: news.eternal-september.org comp.lang.ada:32209
Date: 2016-10-30T07:19:27+00:00
List-Id: <comp.lang.ada>

In article <04236df5-938d-49df-a74e-01faac6f7a15@googlegroups.com>,
Peter Chapin  <spicacality@gmail.com> wrote:
>http://www.skyandtelescope.com/astronomy-blogs/schiaparelli-requiem-for-a-mars-lander/
[...]
>"... a computer glitch seems to have confused the lander, as
>miscommunication between its onboard navigational system and radar
>erroneously told Schiaparelli it was near the surface."
[...]
>Was this a software failure? If so, what was the nature of the
>failure, and was it something the use of Ada (or SPARK) might
>have avoided?

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/

Dirk
Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/Ada-Europe/SIGAda/WG9)

*** 22nd Intl.Conf.on Reliable Software Technologies - Ada-Europe'2017
*** June 12-16, 2017 *** Vienna, Austria *** http://www.ada-europe.org