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!feeder.eternal-september.org!newsfeed.datemas.de!enother.net!enother.net!enother.net!peer02.fr7!futter-mich.highwinds-media.com!news.highwinds-media.com!fx29.am4.POSTED!not-for-mail
Subject: Re: Simplest Ada program
Newsgroups: comp.lang.ada
References: <o0uarq$53q$1@dont-email.me> <o0ub27$p5a$1@gioia.aioe.org>
 <o0ub44$53q$5@dont-email.me> <o0uc0e$qn9$1@gioia.aioe.org>
 <o0uct0$al9$2@dont-email.me> <o0ue32$u7p$1@gioia.aioe.org>
 <o0um9o$a45$2@dont-email.me> <o0v11t$1mu$1@gioia.aioe.org>
 <o0v21b$k5v$2@dont-email.me> <e9ha94F3eaiU1@mid.individual.net>
 <o18unm$e27$7@dont-email.me> <o18vnd$1e6v$1@gioia.aioe.org>
 <o18vu3$e27$24@dont-email.me>
From: Chris Moore <zmower@ntlworld.com>
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:45.0) Gecko/20100101
 Thunderbird/45.4.0
MIME-Version: 1.0
In-Reply-To: <o18vu3$e27$24@dont-email.me>
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
Message-ID: <TzZZz.28230$ME2.21808@fx29.am4>
NNTP-Posting-Host: 82.23.174.59
X-Complaints-To: http://netreport.virginmedia.com
X-Trace: 1480090995 82.23.174.59 (Fri, 25 Nov 2016 16:23:15 UTC)
NNTP-Posting-Date: Fri, 25 Nov 2016 16:23:15 UTC
Organization: virginmedia.com
Date: Fri, 25 Nov 2016 16:23:16 +0000
X-Received-Bytes: 2075
X-Received-Body-CRC: 3267202271
Xref: news.eternal-september.org comp.lang.ada:32460
Date: 2016-11-25T16:23:16+00:00
List-Id: <comp.lang.ada>

On 25/11/2016 09:24, Mr. Man-wai Chang wrote:
> On 25/11/2016 5:19 PM, Dmitry A. Kazakov wrote:
>> On 25/11/2016 10:04, Mr. Man-wai Chang wrote:
>>
>>> How do you benchmark real-time Ada programs? ;)
>>
>> Real-time means "on time", not earlier or later, not "as soon as
>> possible".
>
> Was US airports using real-time software written in Ada?
>
> FYI:
> Delayed take-off: Further hold up for HK$1.5 billion Raytheon AutoTrac
> III air traffic control system
> http://www.scmp.com/news/hong-kong/politics/article/1930053/delayed-take-further-hold-hk15-billion-raytheon-autotrac-iii

Nothing in the article mentions Ada specifically but "The system itself, 
in terms of reliability and safety, is free of problems" suggests that 
it is.  Sometimes problems with complex systems aren't with the language 
it was programmed in.  In this case training people to use the system 
seems to be the issue.  Next?