comp.lang.ada
 help / color / mirror / Atom feed
From: "Donald L. Dobbs" <donaldldobbs@cox.net>
Subject: Re: status of PL/I as a viable language
Date: Thu, 20 Feb 2003 16:26:28 GMT
Date: 2003-02-20T16:26:28+00:00	[thread overview]
Message-ID: <3E550205.1010702@cox.net> (raw)
In-Reply-To: 3E54F926.441D5BB5@adaworks.com



Richard Riehle wrote:
> "Donald L. Dobbs" wrote:
> 
> 
>>Richard Riehle wrote:
>>
>>>"Donald L. Dobbs" wrote:
>>
>>>>PS: ADA ain't that great.  Even with the Pentagon's (DoD) legislative
>>>>fiat they couldn't achieve widespread adoption.  It proved to be far too
>>>>clunky for its original intent which was embedded real-time applications
>>>>such as radar and fire-control systems.  Over time ADA will join Pascal
>>>>as one of the wannabes that just didn't have enduring traction.
>>>
>>>
>>>Actually, Ada is that great ...
>>>
>>>
>>>It is used (I know this from first hand experience) very successfully
>>>in a large number of embedded weapon systems, embedded avionics,
>>>embedded commercial systems.   It flies airplanes (all the software
>>>in the Boeing 777), drives communication satellites,  controls electrical
>>>power plants (including nuclear),  and keeps ships active at sea.  It
>>>is the primary language of the F-22, among others.
>>
>>Not to belabor a point, but one of the lead stories today on the
>>Aviation Week web site www.aviationnow.com describes how the F-22
>>program is now some $800 million overrun because of delays caused by
>>unreliable software.  They can get it to run for about 8 hrs in the lab
>>before it crashes, but in the actual test flights it fails within 3.5
>>hours forcing the pilot to reboot the system while in mid-flight.  If
>>they are using Ada as you contend, then this is a terrible indictment
>>and confirms what I had heard earlier about the language's shortcomings.
> 
> 
> Donald,
> 
> I will cross-post this to comp.lang.ada.
> 
> The F-22 is one of the most complex systems, software and
> hardware, even conceived.   As we discussed earlier, with
> regard to other language environments,  the quality of the
> available tools can help only so much.
> 
> Ada is designed to maximize the amount of error checking possible
> as early in the development process as possible.  I know of no other language
> does this as well as Ada.    As stated earlier, competent people have used
> Ada for a wide variety of successful large-scale, safety-critical software
> systems.  On the other hand, less competent people have used Ada, PL/I,
> C++, C, etc. for a wide variety of unsuccessful systems.   At least one
> Ada failure that I know of by reports from participants rather than from
> first-hand knowledge was an Air Traffic Control system.   The people
> who were managing the system blamed Ada when they, the managers,
> were the real problem.   At that time, other ATC systems had already
> been completed in Ada and were successfully doing their job.   The
> problem is not the language.  As someone else once said, "A fool
> with a tool is still a fool."    From my vantage point, having a fairly
> broad experience with a lot of programming languages, Ada, once it
> is understood, continues to be the most appropriate choice for systems
> such as the F-22.   The fact that developers can find a way to screw it
> up does not detract from the value of the language.   If they can make
> a mess using a language with the rigorous controls built into Ada,
> imagine the magnitude of the mess they could make with, say, C++.
> And, no, PL/I would not help with a system this large and complex.
> 
> Richard Riehle
> 
Richard,

You're right in that good (really good) programmers can produce 
successful code not matter what tools (languages) they have to tolerate 
while poor programmers (or at least poorly trained) will screw it up no 
matter how good or bulletproof the language.  Your ATC example 
undoubtedly proves the point.

Regards,

   -- Don.






  reply	other threads:[~2003-02-20 16:26 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 [this message]
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
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