Software Safety Myths

In her book Safeware: System Safety and Computers (p. 26) Nancy Leveson lists seven myths regarding the safety of software.

  1. The cost of computers is lower than that of analog or electromechanical devices.
  2. Software is easy to change.
  3. Computers provide greater reliability than the devices they replace.
  4. Increasing software reliability will increase safety.
  5. Testing software and formal verification of software can remove all the errors.
  6. Reusing software increases safety.
  7. Computer reduce risk over mechanical systems.
After having studied the Therac 25 case, as a group evaluate the truth of each of these statements as they pertain to the case. Create a presentation of your results, to present in class as part of a 20 group minute presetation.


Leveson, N. G. (1995). Safeware: System safety and computers. New York: Addison Wesley.

Topic revision: r1 - 2014-03-25 - JimSkon
This site is powered by the TWiki collaboration platformCopyright &© by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback