| Title | Software Reliability: A Federal Highway Administration Preliminary Handbook |
|---|---|
| Record ID | 67081 |
| Personal Name Creator |
Knaus, Rodger; Aougab, Hamid; Bentahar, Naim |
| Corporate Contributor |
United States. Federal Highway Administration. Office of Safety Research and Development; Turner-Fairbank Highway Research Center; Instant Recall, Inc. |
| Publisher | United States. Federal Highway Administration |
| Publication Date | 20040101 |
| 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; 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. |
| Rosap ID | dot:41550 |
| Rosap URL | https://rosap.ntl.bts.gov/view/dot/41550 |
| TRT Terms | Highway design; Highway safety; Software; Validation |
| General Subjects | Computer software--Reliability; Computer software--Verification; Computer software--Validation; HIGHWAY ENGINEERING |
| Geographical Coverage |
United States |
| Contract Number | DTFH61-02-F-00154 |
| Report Number | FHWA-RD-04-080 |
| Resource type | Tech Report |
| URL | https://ntlrepository.blob.core.windows.net/lib/67000/67000/67081/04080.pdf |
| Alternative URL | http://www.fhwa.dot.gov/publications/research/safety/04080/04080.pdf; http://www.fhwa.dot.gov/publications/research/safety/48/index.cfm |
| Format | |
| Database | NTL Digital Repository |