comp.lang.ada
 help / color / mirror / Atom feed
From: "Ken Garlington" <Ken.Garlington@computer.org>
Subject: Re: Customer balks at Ada -- any hope?
Date: 2000/07/27
Date: 2000-07-27T00:00:00+00:00	[thread overview]
Message-ID: <10Lf5.2604$ck.263517@news.flash.net> (raw)
In-Reply-To: 87puo0eg2m.fsf@deneb.enyo.de


"Florian Weimer" <fw@deneb.enyo.de> wrote in message
news:87puo0eg2m.fsf@deneb.enyo.de...
> Scott Ingram <scott@silver.jhuapl.edu> writes:
>
> > A Google search on "therac 25" pops up about 1050 links.
>
> I guess you've omitted the quotes.  If you enter them, the first hit is:
>
>     http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Therac_1.html
>
> (A reprint of a IEEE Computer article, which is the canonical source
> for information on the Therac 25 incident, I think.)

Pfleeger in her text Software Engineering: Theory and Practice (1998) refers
to this 1993 Leveson/Turner article as the "Definitive analysis of a famous
software failure that resulted in loss of life." As far as I know, pretty
much everyone else accepts this as the canonical description of the
Therac-25 as well.

> Fortunately, you cannot blame any higher-level computer language
> for killing people, at least based on this incident.  The offending
> software was written in PDP-11 assembly language, according to:
>
>     http://courses.cs.vt.edu/~cs3604/lib/Therac_25/Side_bar_1.html






  reply	other threads:[~2000-07-27  0:00 UTC|newest]

Thread overview: 61+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2000-07-17  0:00 Customer balks at Ada -- any hope? mjsilva
2000-07-17  0:00 ` Ken Garlington
2000-07-18  0:00   ` Samuel T. Harris
2000-07-18  0:00     ` Ken Garlington
2000-07-18  0:00       ` Scott Ingram`
2000-07-18  0:00         ` Larry Kilgallen
2000-07-18  0:00           ` Scott Ingram`
2000-07-18  0:00             ` Larry Kilgallen
2000-07-19  0:00             ` David Starner
2000-07-18  0:00         ` Scott Ingram`
2000-07-19  0:00         ` Ken Garlington
2000-07-19  0:00           ` Scott Ingram`
2000-07-19  0:00             ` Ken Garlington
2000-07-20  0:00               ` Samuel T. Harris
2000-07-21  0:00                 ` Ken Garlington
2000-07-17  0:00 ` mjsilva
2000-07-18  0:00 ` Larry Kilgallen
2000-07-18  0:00   ` Scott Ingram`
2000-07-18  0:00   ` Larry Kilgallen
2000-07-18  0:00 ` Tucker Taft
2000-07-18  0:00   ` Stanley R. Allen
2000-07-18  0:00     ` Rennie Allen
2000-07-18  0:00       ` Stanley R. Allen
2000-07-20  0:00         ` Joseph C Williams
2000-07-21  0:00           ` Ted Dennison
2000-07-18  0:00   ` mjsilva
2000-07-18  0:00     ` Scott Ingram`
2000-07-18  0:00       ` nabbasi
2000-07-19  0:00         ` Rennie Allen
2000-07-19  0:00           ` nabbasi
2000-07-19  0:00         ` Pascal Obry
2000-07-19  0:00           ` Florian Weimer
2000-07-28  0:00             ` Robert I. Eachus
2000-07-28  0:00               ` Philip Anderson
2000-07-28  0:00                 ` Ken Garlington
2000-07-31  0:00               ` Harry Erwin
2000-07-31  0:00                 ` Ted Dennison
2000-07-18  0:00       ` Scott Ingram`
2000-07-18  0:00 ` Ted Dennison
2000-07-18  0:00   ` mjsilva
2000-07-18  0:00 ` wv12
2000-07-18  0:00   ` Larry Kilgallen
2000-07-19  0:00     ` Kieran Mckey
2000-07-19  0:00       ` fdebruin
2000-07-19  0:00         ` Ken Garlington
2000-07-19  0:00           ` Kieran Mckey
2000-07-19  0:00       ` Customer balks at Ada -- any hope?--Warning Significant Thread Drift Ahead Jeff Creem
2000-07-20  0:00         ` Kieran Mckey
2000-07-28  0:00           ` Robert I. Eachus
2000-07-18  0:00   ` Customer balks at Ada -- any hope? Scott Ingram`
2000-07-26  0:00     ` Dale Pontius
2000-07-26  0:00       ` Scott Ingram
2000-07-26  0:00         ` Pat Rogers
2000-07-26  0:00         ` Florian Weimer
2000-07-27  0:00           ` Ken Garlington [this message]
2000-07-19  0:00   ` Ken Garlington
2000-07-19  0:00   ` mjsilva
2000-07-24  0:00 ` Richard Riehle
2000-07-25  0:00   ` mjsilva
2000-07-25  0:00     ` gdemont
2000-07-25  0:00     ` Gary Scott
replies disabled

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