Skip to contentUnited States Department of Transportation - Federal Highway Administration FHWA Home
Research Home
Report
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®

References

  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

ResearchFHWA
FHWA
United States Department of Transportation - Federal Highway Administration