Therac-25 (was: microcode, compilers, and supercomputer architecture) - test-drb@ccmp.vtda.org

7 Apr 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(a)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