Software Reliability: A Federal Highway Administration Preliminary Handbook

Knaus, Rodger; Aougab, Hamid; Bentahar, Naim

Advanced Search

Select up to three search categories and corresponding keywords using the fields to the right. Refer to the Help section for more detailed instructions.

Search our Collections & Repository

Advanced Search
Custom Query

All these words:

For very narrow results

This exact word or phrase:

When looking for a specific result

Any of these words:

Best used for discovery & interchangable words

None of these words:

Recommended to be used in conjunction with other fields

Language:

Dates

Publication Date Range:

to

Document Data

Title:

Document Type:

Library

Collection:

Series:

People

Author:

Clear All

Query Builder

Query box

Clear All

For additional assistance using the Custom Query please check out our Help Page

ROSA P serves as an archival repository of USDOT-published products including scientific findings, journal articles, guidelines, recommendations, or other information authored or co-authored by USDOT or funded partners. As a repository, ROSA P retains documents in their original published format to ensure public access to scientific information.

i

Software Reliability: A Federal Highway Administration Preliminary Handbook

2004-01-01
By Knaus, Rodger ; Aougab, Hamid ; Bentahar, Naim

English

Details You May Also Like

Details:

Creators:

Knaus, Rodger ; Aougab, Hamid ; Bentahar, Naim

Knaus, Rodger ; Aougab, Hamid ; Bentahar, Naim Less -
Corporate Contributors:

United States. Federal Highway Administration. Office of Safety Research and Development ; Turner-Fairbank Highway Research Center ; Instant Recall, Inc.

United States. Federal Highway Administration. Office of Safety Research and Development ; Turner-Fairbank Highway Research Center ; Instant Recall, Inc. Less -
Subject/TRT Terms:

[+]

Computer Software--Reliability Computer Software--Validation Computer Software--Verification Highway Design HIGHWAY ENGINEERING Highway Safety Software Validation
Publication/ Report Number:

FHWA-RD-04-080
Resource Type:

Tech Report
Geographical Coverage:

United States
Corporate Publisher:

United States. Federal Highway Administration
Abstract:

The overall objective of this handbook is to provide a reference to aid the highway engineer, software developer, and project manager in software verification and validation (V&V), and in producing reliable software. Specifically, the handbook: demonstrates the need for V&V of highway-related software; introduces the important software V&V concepts; defines the special V&V problems for highway-related software; provides a reference to several new software V&V techniques developed under this and earlier related projects to address the special needs of highway-related software [Wrapping, i.e., the use of embedded code to make a program self-verifying; SpecChek (Trademark), a V&V tool to check software with its specifications; Real-time computation of roundoff and other numerical errors; and Phased introduction of new software to minimize failures]; and helps the highway engineer, software developer, and project manager integrate software V&V into the development of new software and retrofit V&V into existing software. The handbook emphasizes techniques that address the special needs of highway software, and provides pointers to information on standard V&V tools and techniques of the software industry.
Format:

PDF
Funding:

DTFH61-02-F-00154
Collection(s):

Federal Highway Administration
Main Document Checksum:

[+]

urn:sha-512:bb4b3a678791448ee48369d06a04e021ca7a565c9066e988f9bd768be75e7ac32f6dcfbf94d937ba66c423df8dcee15efc7484cf9128db43796751b40b503489
Download URL:

https://rosap.ntl.bts.gov/view/dot/41550/dot_41550_DS1.pdf
File Type:

[PDF-696.34 KB]