U.S. Department of Transportation
Federal Highway Administration
1200 New Jersey Avenue, SE
Washington, DC 20590

Skip to content

Federal Highway Administration Research and Technology
Coordinating, Developing, and Delivering Highway Transportation Innovations

This report is an archived publication and may contain dated technical, contact, and link information
Publication Number: FHWA-RD-04-080
Date: September 2004

Software Reliability: A Federal Highway Administration Preliminary Handbook

PDF Version (697 KB)

PDF files can be viewed with the Acrobat® Reader®


  1. Musa, J.D., A. Iannino, and K. Okumoto. Software Reliability: Measurement, Prediction, Application. McGraw Hill, 1987.

  2. Leveson, N. Safeware, System Safety and Computers. Addison Wesley, 1995, ISBN 0-201-11972-2.

  3. Wentworth, J. and R. Knaus. "Correctness Given Mathematical Specifications," in Producing Correct Software, Turner Fairbank Highway Research Center, McLean, VA, 1999. (www.fhwa.dot.gov/publications/research/operations/softwar/title.cfm), accessed January 2001.

  4. Wallace, D.R., L.M. Ippolito, and B. Cuthill. Reference Information for the Software Verification and Validation Process, National Institute of Standards and Technology Special Publication 500-234, March 29, 1996. (http://hissa.nist.gov/HHRFdata/Artifacts/ITLdoc/234/val-proc.html).

  5. Verification, Validation, and Evaluation of Expert Systems, an FHWA Handbook. Turner Fairbank Highway Safety Research Center, Federal Highway Administration, U.S. Department of Transportation, McLean, VA. (www.fhwa.dot.gov/publications/research/safety/aard/index.cfm), accessed July 27, 2000.

  6. Landauer, C. and K.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, Austria. This is a paper about wrapping by the inventors of the concept.

  7. Press, W., et al. Numerical Recipes in C. Cambridge University Press, 1992.

  8. Instant Recall, Inc. SpecChek, www.irecall.com/specchek/SpecIndx.htm, SpecChekTM homepage, accessed July 27, 2000.

  9. Higham, N.J. Accuracy and Stability of Numerical Algorithms, Society of Industrial and Applied Mathematics, Philadelphia, 1996, ISBN 0-89871-355-2. (The SIAM Web site is www.siam.org.)

Previous | Table of Contents | Next

Federal Highway Administration | 1200 New Jersey Avenue, SE | Washington, DC 20590 | 202-366-4000
Turner-Fairbank Highway Research Center | 6300 Georgetown Pike | McLean, VA | 22101