From: Chris Moore <zmower@ntlworld.com>
Subject: Re: Simplest Ada program
Date: Fri, 25 Nov 2016 16:23:16 +0000
Date: 2016-11-25T16:23:16+00:00 [thread overview]
Message-ID: <TzZZz.28230$ME2.21808@fx29.am4> (raw)
In-Reply-To: <o18vu3$e27$24@dont-email.me>
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?
next prev parent reply other threads:[~2016-11-25 16:23 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-11-21 8:22 Simplest Ada program Mr. Man-wai Chang
2016-11-21 8:25 ` Dmitry A. Kazakov
2016-11-21 8:27 ` Mr. Man-wai Chang
2016-11-21 8:41 ` Dmitry A. Kazakov
2016-11-21 8:57 ` Mr. Man-wai Chang
2016-11-21 9:17 ` Dmitry A. Kazakov
2016-11-21 11:38 ` Mr. Man-wai Chang
2016-11-21 14:41 ` Dmitry A. Kazakov
2016-11-21 14:57 ` G.B.
2016-11-21 14:58 ` Mr. Man-wai Chang
2016-11-21 22:20 ` Niklas Holsti
2016-11-24 19:26 ` Jacob Sparre Andersen
2016-11-25 9:04 ` Mr. Man-wai Chang
2016-11-25 9:19 ` Dmitry A. Kazakov
2016-11-25 9:24 ` Mr. Man-wai Chang
2016-11-25 16:23 ` Chris Moore [this message]
2016-11-25 16:29 ` Mr. Man-wai Chang
2016-11-25 22:53 ` Niklas Holsti
2016-11-26 11:58 ` Mr. Man-wai Chang
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox