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