CS Table 4/16/19: Lessons for safety-critical software

petersos — Mon, 15 Apr 2019 17:58:56 +0000

April 16 CS Table location: JRC 224B, noon.

Let's look at an important case study in safety-critical software: the Therac-25. This was a device built to administer radiation to patients under carefully controlled conditions, but the device suffered from a critical flaw that made it possible for patients to receive dangerous levels of radiation instead of the carefully-controlled doses the machine was designed to administer. We’ll explore what went wrong, and discuss the lessons learned (or not learned) from this case.

A History of the Introduction and Shut Down of the Therac-25. ComputingCases.org
Nancy G. Leveson, The Therac-25: 30 Years Later. IEEE Computer, vol. 50, no. 11, pp. 8-11, 2017.
If you are interested in digging deeper on the issues with Therac-25, the original report is also available:
Nancy G. Leveson and Clark S. Turner, An Investigation of the Therac-25 Accidents. IEEE Computer, vol. 26, no. 7, pp. 18-41, 1993.

Computer science table (CS Table) is a weekly meeting of Grinnell College community members (students, faculty, staff, etc.) interested in discussing topics related to computing and computer science. CS Table meets Tuesdays from 12:00–12:50pm. Most CS Tables for the spring semester will meet in JRC 224B inside the Marketplace, though a small number will be in an alternate location, so watch each week for the location. Contact the CS faculty for the weekly reading. Students on meal plans, faculty, and staff are expected to cover the cost of their meals. Visitors to the College and students not on meal plans can charge their meals to the department (sign in at the Marketplace front desk).

Thursday Extra: "The ontological domain model of medical imaging informatics"

stone — Thu, 29 Oct 2009 22:47:37 +0000

On Thursday, November 5, Jun Ni, Associate Professor of Radiology Informatics in the College of Medicine at the University of Iowa, will present a talk on the semantic framework for the description and classification of data derived from health records and medical imaging.

Refreshments will be served at 4:15 p.m. in the Computer Science Commons (Noyce 3817). Professor Ni's talk, The ontological domain model of medical imaging informatics, will follow at 4:30 p.m. in Noyce 3821.

Computer Science - medical software

CS Table 4/16/19: Lessons for safety-critical software

Thursday Extra: "The ontological domain model of medical imaging informatics"