Therac-25 (was: microcode, compilers, and supercomputer architecture)

From: Bill Yakowenko <yakowenk_at_cs.unc.edu>
Date: Wed Apr 7 21:32:24 1999

That's the same URL that I have bookmarked. I very strongly recommend
that every programmer read through it, at least once. It is long, but
enlightening. Correctness is a lot more than "seems to work".

        Bill.

On Tue, 6 Apr 1999, clintw_at_colorado.cirrus.com (Clint Wolff) wrote:
] > ::Actually, the THERAC-25 radiation therapy machine is a good example of
] > ::poor hardware AND software design which killed a number of people by
] > ::giving them too high a dose of radiation, either for too long or
] > ::without the proper screen in place.
] >
] > !?!
] >
] > Has this been documented anywhere? Where did you find this out from?
...
] Take a look at http://ei.cs.vt.edu/~cs3604/lib/Therac_25/Therac_1.html
] This is a reprint from IEEE Computer (might even be the original article
] I saw :)
]
] clint
Received on Wed Apr 07 1999 - 21:32:24 BST

This archive was generated by hypermail 2.3.0 : Fri Oct 10 2014 - 23:31:40 BST