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,ce8628f8ec437d76
X-Google-NewGroupId: yes
X-Google-Attributes: gida07f3367d7,domainid0,public,usenet
X-Google-Language: ENGLISH,ASCII-7-bit
Path: 
 g2news2.google.com!postnews.google.com!d26g2000prn.googlegroups.com!not-for-mail
From: Ludovic Brenta <ludovic@ludovic-brenta.org>
Newsgroups: comp.lang.ada
Subject: Re: Ada and Its Image
Date: Tue, 19 Apr 2011 02:53:24 -0700 (PDT)
Organization: http://groups.google.com
Message-ID: 
 <62e3dead-d234-4470-9ec5-608ded2ff301@d26g2000prn.googlegroups.com>
References: <9121smFq4nU1@mid.individual.net>
 <87fwpgvwym.fsf@ludovic-brenta.org>
 <9a25329d-44a0-47e2-9aff-e30e239f9f0b@z37g2000vbl.googlegroups.com>
NNTP-Posting-Host: 153.98.68.197
Mime-Version: 1.0
Content-Type: text/plain; charset=ISO-8859-1
X-Trace: posting.google.com 1303206804 10087 127.0.0.1 (19 Apr 2011 09:53:24
 GMT)
X-Complaints-To: groups-abuse@google.com
NNTP-Posting-Date: Tue, 19 Apr 2011 09:53:24 +0000 (UTC)
Complaints-To: groups-abuse@google.com
Injection-Info: d26g2000prn.googlegroups.com; posting-host=153.98.68.197;
 posting-account=pcLQNgkAAAD9TrXkhkIgiY6-MDtJjIlC
User-Agent: G2/1.0
X-HTTP-UserAgent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.0.6)
 Gecko/2009012111 Red Hat/3.0.6-1.el5 Firefox/3.0.6,gzip(gfe)
Xref: g2news2.google.com comp.lang.ada:19861
Date: 2011-04-19T02:53:24-07:00
List-Id: <comp.lang.ada>

Shark8 wrote on comp.lang.ada:
> Ludovic Brenta wrote:
>
>> George <mail2geo...@gmx-topmail.de> writes:
>>> Hi All,
>>> Ada is suitable to be used as a language for software design (http://
>>> ) and small apps like life-science services running on smart phones
>>> requiring stability and correctness.
>
>> On top of a fragile, bug-ridden smart phone operating system?
>
> Isn't that all the more reason to use a strongly-typed, high-integrity
> (lots of error checking) sort of language like Ada?

I don't think Ada could protect the application against bugs in the
operating system (it might expose such bugs, though).  OTOH, rewriting
the operating system in Ada or even SPARK would make for a truly
safety-critical software stack, suitable for medical devices.

--
Ludovic Brenta.