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


Skip to content
Facebook iconYouTube iconTwitter iconFlickr iconLinkedInInstagram

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

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®

Additional Resources

Holloway, C.M. "What is Formal Methods?" http://atb-www.larc.nasa.gov/fm/fm-what.html, NASA Langley Formal Methods Team's World-Wide Web pages, accessed February 17, 2001.

Holloway, C.M. "What is Formal Methods?" http://atb-www.larc.nasa.gov/fm/fm-what.html, NASA Langley Formal Methods Team's World-Wide Web pages, accessed February 17, 2001.

Neumann, P.G., moderator. http://catless.ncl.ac.uk/Risks, a Web-accessible posting of the Risks Forum, a monthly USENET newsletter about computer risks and failures, accessed July 27, 2000.

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems and Related Technology., accessed July 27, 2000.

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems, Commercial Aviation. (www.csl.sri.com/neumann/illustrative.html#9), accessed July 27, 2000.

Neumann, P.G. Illustrative Risks to the Public in the Use of Computer Systems, Rail, Bus, and Other Public Transit, accessed July 27, 2000.

Potter, B., J. Sinclair, and D. Till. An Introduction to Formal Specification and Z, 2nd edition, Prentice Hall International Series in Computer Science, Englewood Cliffs, NJ, 1996, ISBN 0-13-242207-7.

The Software Engineering Institute Web site, www.sei.cmu.edu/sei-home.html.

Wilkinson, J.H., Rounding Errors in Algebraic Processes. Notes on Applied Science, No. 32, Her Majesty's Stationery Office, London, 1963. Also published by Prentice Hall, Englewood Cliffs, NJ, and Dover, NY, 1994, ISBN 0-486-67999-3.

Previous | Table of Contents

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