comp.lang.ada
 help / color / mirror / Atom feed
From: "Jean-Pierre Rosen" <rosen@adalog.fr>
Subject: Re: status of PL/I as a viable language
Date: Fri, 21 Feb 2003 09:33:12 +0100
Date: 2003-02-21T09:33:12+01:00	[thread overview]
Message-ID: <8go43b.iaj.ln@skymaster> (raw)
In-Reply-To: 6F01A9BDC686A359.6430C14E3029E8CA.6C7A1A97820C8419@lp.airnews.net

[-- Warning: decoded text below may be mangled, UTF-8 assumed --]
[-- Attachment #1: Type: text/plain, Size: 1692 bytes --]


"John R. Strohm" <strohm@airmail.net> a �crit dans le message de news: > This is from memory, twelve years ago.
>
> Operation Desert Storm, near the end of the party, when Saddam Hussein was
> lobbing Scuds and the U.S. was going crazy trying to find all of his Scud
> launchers.  Incoming Scud detected, Patriot failed to engage, missile hit,
> destroying (as I recall) a warehouse tent or a barracks tent, killing some
> twenty troops.  Investigation showed that a timer had overflowed.  The
> Patriot system designers assumed that the system would never be operated for
> more than a few hours at a time, and the timer couldn't overflow in that
> time.  This particular one had been up for several days.
>
My memory is slightly different.
I think the problem was that time was represented as a floating point value, not fixed point.
As a consequence, the absolute error increased as time went by, leading to more and more
imprecise trajectory computations. The engineers were aware of the problem, and hence required
a daily reboot of the system, but of course it was a bit hard to understand for a military on-the-field...

The main error (IMHO) was to represent time as a floating point, I always argue it must always be
represented as a fixed point. It is possible even if your language does not provide predefined fixed points,
it's just more work.

Now, it can be argued that this error would have been less likely in Ada, since Ada provides fixed point types,
and the programmers would have been less tempted of using floats.

--
---------------------------------------------------------
           J-P. Rosen (rosen@adalog.fr)
Visit Adalog's web site at http://www.adalog.fr





  parent reply	other threads:[~2003-02-21  8:33 UTC|newest]

Thread overview: 135+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
     [not found] <mHZ0a.42983$jM5.108891@newsfeeds.bigpond.com>
     [not found] ` <nRg1a.190899$HG.32437469@news4.srv.hcvlny.cv.net>
     [not found]   ` <3E51908E.9CCA3412@adaworks.com>
     [not found]     ` <8Gh4a.7455$_c6.743959@newsread2.prod.itd.earthlink.net>
     [not found]       ` <3E51ABCE.5491B9A2@adaworks.com>
     [not found]         ` <b2spe6$p23$1@helle.btinternet.com>
     [not found]           ` <3E5273DE.2050206@cox.net>
     [not found]             ` <3E531E6F.BDFB2599@adaworks.com>
     [not found]               ` <3E546C45.4010406@cox.net>
2003-02-20 15:49                 ` status of PL/I as a viable language Richard Riehle
2003-02-20 16:26                   ` Donald L. Dobbs
2003-02-20 17:15                     ` Preben Randhol
2003-02-21  6:24                     ` Anders Wirzenius
2003-02-21 18:44                       ` John R. Strohm
2003-02-20 17:58                   ` Hyman Rosen
2003-02-20 18:44                     ` John R. Strohm
2003-02-20 19:09                       ` Larry Kilgallen
2003-02-20 19:27                         ` John R. Strohm
2003-02-20 19:48                           ` Hyman Rosen
2003-02-20 21:12                             ` John R. Strohm
2003-02-20 21:39                           ` Bobby D. Bryant
2003-02-21 20:36                             ` Randy Brukardt
2003-02-21  8:33                           ` Jean-Pierre Rosen [this message]
2003-02-20 19:34                       ` Hyman Rosen
2003-02-20 19:52                         ` Vinzent Hoefler
2003-02-20 20:14                           ` Hyman Rosen
2003-02-20 21:20                             ` Vinzent Hoefler
2003-02-21  8:14                             ` Ondřej Tučný
2003-02-21 14:54                               ` Hyman Rosen
2003-02-21 15:05                                 ` Vinzent Hoefler
2003-02-21 15:55                                 ` Preben Randhol
2003-02-21 16:45                                   ` Hyman Rosen
2003-02-21 17:40                                     ` Preben Randhol
2003-02-21 17:44                                       ` Preben Randhol
2003-02-21 18:10                                       ` Hyman Rosen
2003-02-21 18:38                                         ` Preben Randhol
2003-02-21 18:40                                           ` Preben Randhol
2003-02-21 18:52                                           ` Hyman Rosen
2003-02-21 19:24                                             ` Vinzent Hoefler
2003-02-21 19:57                                               ` Hyman Rosen
2003-02-21 20:37                                                 ` Vinzent Hoefler
2003-02-21 20:55                                               ` Randy Brukardt
2003-02-21 18:42                                         ` Vinzent Hoefler
2003-02-21 18:48                                 ` John R. Strohm
2003-02-21 20:22                                 ` Richard Riehle
2003-02-21 20:51                                 ` Randy Brukardt
2003-02-21 21:29                                   ` Hyman Rosen
2003-02-21 21:44                                     ` Vinzent Hoefler
2003-02-23  5:05                                       ` Hyman Rosen
2003-02-24 16:29                                         ` Vinzent Hoefler
2003-02-22 11:06                                   ` Preben Randhol
2003-02-23 22:04                                     ` tmoran
2003-02-24  9:32                                       ` Preben Randhol
2003-03-02  2:37                                         ` AG
2003-03-01 13:46                                           ` Preben Randhol
2003-03-03  0:57                                             ` AG
2003-03-02 12:40                                               ` Preben Randhol
2003-03-02 16:52                                                 ` John R. Strohm
2003-03-03  0:19                                                   ` Georg Bauhaus
2003-03-03  3:03                                                     ` John R. Strohm
2003-03-04 12:11                                                     ` Faust
2003-03-04 15:51                                                       ` OT: Crime Frank J. Lhota
2003-03-03  8:01                                                   ` status of PL/I as a viable language Preben Randhol
2003-02-24 20:15                                     ` Randy Brukardt
2003-02-25 10:00                                       ` Preben Randhol
2003-02-26  1:10                                         ` Randy Brukardt
2003-02-26 18:49                                         ` Stephen Leake
2003-02-27 12:09                                           ` Preben Randhol
2003-03-01 18:16                                             ` Richard Riehle
2003-03-02  1:56                                           ` AG
     [not found]                                 ` <iqeli-c2d.ln1@beastie.ix.netcom.com>
2003-02-23  5:13                                   ` Hyman Rosen
2003-02-28 10:32                                     ` Lutz Donnerhacke
2003-02-28 18:52                                       ` Vinzent Hoefler
2003-02-23 19:19                                 ` Berend de Boer
2003-02-24  6:19                                   ` Hyman Rosen
2003-02-20 22:10                         ` Peter Flass
2003-02-20 22:26                         ` Chad R. Meiners
2003-02-21  9:13                         ` Dmitry A. Kazakov
2003-02-21 14:56                           ` Hyman Rosen
2003-02-21 16:04                             ` Preben Randhol
2003-02-21 19:41                             ` Mike Silva
2003-02-21 20:41                             ` Richard Riehle
2003-02-21 21:46                               ` Donald L. Dobbs
2003-02-23  2:23                                 ` Shmuel (Seymour J.) Metz
2003-02-23  5:02                                 ` Hyman Rosen
2003-02-23 18:34                                   ` Donald L. Dobbs
2003-02-24  6:22                                     ` Hyman Rosen
2003-02-21 19:16                           ` John R. Strohm
2003-02-21 19:49                             ` Hyman Rosen
2003-02-21 20:32                               ` Frank J. Lhota
2003-02-21 20:40                                 ` John R. Strohm
2003-02-25 10:31                                   ` Quality (Re: status of PL/I as a viable language) Anders Wirzenius
2003-02-25 13:10                                     ` Marin David Condic
2003-02-26  6:22                                       ` Anders Wirzenius
2003-02-26 11:47                                         ` Larry Kilgallen
2003-02-26 12:40                                           ` Larry Kilgallen
2003-02-26 13:43                                         ` Marin David Condic
2003-02-27  7:05                                           ` Anders Wirzenius
2003-03-01 22:28                                     ` AG
2003-03-01 12:56                                       ` Peter Flass
2003-03-01 19:17                                         ` Frank Clarke
2003-03-01 13:51                                       ` Anders Wirzenius
2003-03-01 13:54                                         ` Anders Wirzenius
2003-03-02 18:51                                           ` AG
2003-03-02  9:55                                             ` Anders Wirzenius
2003-02-21 20:35                               ` status of PL/I as a viable language John R. Strohm
2003-02-21 21:40                                 ` Hyman Rosen
2003-02-21 22:25                                   ` John R. Strohm
2003-02-22 10:56                                   ` Preben Randhol
2003-02-22 19:55                                     ` Everett M. Greene
2003-02-23 11:15                                       ` Preben Randhol
2003-02-22 19:55                                   ` Everett M. Greene
2003-02-22 20:03                                     ` John R. Strohm
2003-02-22 22:38                                       ` Larry Kilgallen
2003-02-21 21:44                             ` Pointless Harlows
2003-02-22  4:51                               ` John W. Kennedy
2003-02-23  0:13                                 ` James J. Weinkam
2003-02-23  2:28                                   ` John W. Kennedy
2003-02-22 13:04                               ` IEFBR14, was " Peter Flass
2003-02-22 19:08                                 ` Robert Munck
2003-02-23  9:53                                   ` Pointless Harlows
2003-02-22 19:31                                 ` John W. Kennedy
2003-02-23  2:12                                 ` Shmuel (Seymour J.) Metz
2003-02-20 21:45                       ` Larry Kilgallen
2003-02-20 22:06                       ` Peter Flass
2003-02-20 23:30                         ` John R. Strohm
2003-02-21 13:46                           ` Peter Flass
2003-02-21 20:33                             ` Shmuel (Seymour J.) Metz
2003-02-21 20:26                           ` Shmuel (Seymour J.) Metz
2003-02-20 22:34                       ` Larry Kilgallen
     [not found]                       ` <1lagi-b33.ln1@beastie.ix.netcom.com>
2003-02-21 16:09                         ` Preben Randhol
2003-02-21 18:10                       ` Larry Kilgallen
2003-02-24 12:00                       ` Larry Kilgallen
2003-02-21 20:16                     ` Shmuel (Seymour J.) Metz
2003-02-22 12:57                       ` Peter Flass
2003-02-23  2:27                         ` Shmuel (Seymour J.) Metz
2003-02-21 20:49                   ` Donald's F-22 Question Richard Riehle
2003-02-21 22:37                     ` Jerry Petrey
2003-02-20 23:00 status of PL/I as a viable language David C. Hoos, Sr.
  -- strict thread matches above, loose matches on Subject: below --
2003-02-21 18:17 Lionel.DRAGHI
2003-02-21 18:44 ` Hyman Rosen
2003-02-22 13:26 David C. Hoos, Sr.
2003-02-26 20:55 David C. Hoos
2003-02-27 12:12 ` Preben Randhol
replies disabled

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox