Skip to contentUnited States Department of Transportation - Federal Highway Administration FHWA Home
Research Home
This report is an archived publication and may contain dated technical, contact, and link information
Publication Number: N/A
Date: 1999

Producing Correct Software

Producing Reliable Software – Other References

Here is a list of useful references for developing high reliability software.

  • Safeware, System Safety and Computers, by Prof. Nancy Leveson [Addison Wesley, 1995, 0-201-11972-2]. This is a truly excellent book. It covers the following topics:
    • How software safety relates to system safety.
    • An introduction to safety and system engineering for software developers.
    • The Safeware lifecycle.
    • Techniques for hazard analysis.
    • Developing specifications for safety-critical software.
  • Handbook for Verification, Validation and Evaluation of Expert Systems, Advanced Research Team, Office of Traffic and Safety Operations, Turner-Fairbank Highway Research Lab, Federal Highway Administration, U.S. Dept. of Transportation, 1995. This is the most complete reference to date on these topics:
    • Verification and validation of existing expert systems
    • How to develop high reliability expert systems.

      [Note: Rodger Knaus, president of Instant Recall, is one of the authors of this handbook.]

  • Fatal Defect by Ivars Peterson [Times Books/Random House, 1995, 0-8129-2023-6.] This is a very readable history of software and hardware bugs and the problems caused by them. This book is written for the nontechnical audience, but also contains a lot of interest for computer professionals:
    • A very complete list of references.
    • Analyses of a number of computer-caused accidents.
    • Well-presented discussions of attempts to manage hardware and software problems.
  • Landauer, Christopher and Kirstie L. Bellman. "Constructed Complex Systems: Issues, Architectures and Wrappings", pp. 233-38 in Proceedings EMCSR 96: Thirteenth European Meeting on Cybernetics and Systems Research, Symposium on Complex Systems Analysis and Design, 9-12 April 1996, Vienna.
    • This is a paper about wrapping by the inventors of the concept.
[TOC] | [Next]

United States Department of Transportation - Federal Highway Administration