Engineering of Complex Computer Systems, IEEE International Conference on (2006)
Aug. 15, 2006 to Aug. 17, 2006
Jane Huffman Hayes , University of Kentucky
Inies C.M. Raphael , University of Kentucky
Elizabeth Ashlee Holbrook , University of Kentucky
David M. Pruett , Geocontrol Systems Incorporated
There is never enough time or money to perform Verification and Validation (V&V) or Independent Verification and Validation (IV&V) on all aspects of a software development project, particularily for complex computer systems. We have only high-level knowledge of how the potential existence of specific requirements faults increases project risks, and of how specific V&V techniques (requirements tracing, code analysis, etc.) contribute to improved software reliability and reduced risk. An approach to this problem, fault-based analysis, is proposed and a case history of the National Aeronautics and Space Administration?s (NASA) International Space Station (ISS) project is presented to illustrate its use. Specifically, a tailored requirement fault taxonomy was used to perform trend analysis of the historical profiles of three ISS computer software configuration items as well as to build a prototype common cause tree. ISS engineers evaluated the results and extracted lessons learned.
J. H. Hayes, I. C. Raphael, D. M. Pruett and E. A. Holbrook, "A Case History of International Space Station Requirement Faul," 11th IEEE International Conference on Engineering of Complex Computer Systems(ICECCS), Stanford, CA, 2006, pp. 17-26.