Can software systems ever be safe? (Safety: truth and fibs)

Tom Anderson

(University of Newcastle upon Tyne)

Software is going to be used in lots of systems in which the activation of a bug could mean one or more people dying. Indeed, such systems already exist and people have already died. Because safety is an issue of public concern, and of such obvious importance, computer specialists need to have a consistent perspective on safety and reliability with respect to software as well as hardware. This talk will pose some questions, and seek to provoke debate on the answers.
Tuesday 10th May 1994, 14:30
Seminar Room 322
Department of Computer Science