Title :
A case history of International Space Station requirement faults
Author :
Hayes, Jane Huffman ; Raphael, I. ; Holbrook, Elizabeth Ashlee ; Pruett, David M.
Author_Institution :
Dept. of Comput. Sci., Kentucky Univ.
Abstract :
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, particularity 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
Keywords :
aerospace computing; fault tolerant computing; program verification; software reliability; International Space Station requirement fault; NASA International Space Station project; fault-based analysis; program validation; program verification; software development; software reliability; History; International Space Station; NASA; Performance analysis; Programming; Risk analysis; Software performance; Software prototyping; Software reliability; Taxonomy;
Conference_Titel :
Engineering of Complex Computer Systems, 2006. ICECCS 2006. 11th IEEE International Conference on
Conference_Location :
Stanford, CA
Print_ISBN :
0-7695-2530-X
DOI :
10.1109/ICECCS.2006.1690351