DocumentCode :
2034538
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
fYear :
2001
fDate :
2001
Firstpage :
118
Lastpage :
126
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Software Maintenance, 2001. Proceedings. IEEE International Conference on
Conference_Location :
Florence
ISSN :
1063-6773
Print_ISBN :
0-7695-1189-9
Type :
conf
DOI :
10.1109/ICSM.2001.972722
Filename :
972722
Link To Document :
بازگشت