Title :
The role of independent verification and validation in maintaining a safety critical evolutionary software in a complex environment: the NASA Space Shuttle program
Author :
Zelkowitz, Marvin V. ; Rus, Ioana
Author_Institution :
Fraunhofer Center for Exp. Software Eng., Maryland Univ., College Park, MD, USA
Abstract :
The National Aeronautics and Space Administration (NASA) Space Shuttle program is a multi-billion dollar activity scheduled to span over 40 years. Maintaining such software with requirements for high reliability and mission safety taxes current development methods. The authors present how independent verification and validation (IV&V) activities are used to support these requirements. They also show how the IV&V activities for this program differ from those of more traditional software developments
Keywords :
aerospace computing; program verification; safety-critical software; software maintenance; software prototyping; space vehicles; IV&V activities; NASA Space Shuttle program; National Aeronautics and Space Administration; complex environment; development methods; high reliability; independent verification and validation; mission safety; safety critical evolutionary software maintenance; traditional software developments; Aerospace safety; NASA; Programming; Road safety; Software engineering; Software maintenance; Software quality; Software safety; Software systems; Space shuttles;
Conference_Titel :
Software Maintenance, 2001. Proceedings. IEEE International Conference on
Conference_Location :
Florence
Print_ISBN :
0-7695-1189-9
DOI :
10.1109/ICSM.2001.972722
