| Title | Software Reliability: A Preliminary Handbook |
|---|---|
| Record ID | 65907 |
| Personal Name Creator |
Knaus, Rodger; Aougab, Hamid; Bentahar, Naim |
| Personal Name Contributor |
Mills, Milton K. |
| Corporate Creator | Instant Recall, Inc. |
| Corporate Contributor |
United States. Federal Highway Administration. Office of Safety Research and Development; United States. Department of Transportation. Federal Highway Administration. Turner-Fairbank Highway Research Center |
| Publisher | United States. Federal Highway Administration. Office of Safety Research and Development |
| Publication Date | 20040901 |
| Language | English |
| 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. SpecChekTM, a V&V tool to check software with its specifications. Real-time computation of roundoff and other numerical errors. Phased introduction of new software to minimize failures. 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. |
| Public Note | Distribution number: HRDS-06/09-04(1M)E |
| Rosap ID | dot:38719 |
| Rosap URL | https://rosap.ntl.bts.gov/view/dot/38719 |
| TRT Terms | Reliability; Software; Validation |
| Geographical Coverage |
United States |
| TRIS Online Accession No |
980075 |
| Contract Number | FHWA-RD-DTFH61-02-F-00154 |
| Report Number | FHWA-HRT-04-080 |
| Resource type | Tech Report |
| URL | https://ntlrepository.blob.core.windows.net/lib/65000/65900/65907/FHWA-HRT-04-080.pdf |
| Alternative URL | https://www.fhwa.dot.gov/publications/research/safety/04080/index.cfm |
| Format | |
| Database | NTL Digital Repository |