The Role of Independent Verification and Validation in Maintaining a Safety Critical Evolutionary Software in a Complex Environment: The NASA Space Shuttle Program.
Marvin V. ZelkowitzIoana RusPublished in: ICSM (2001)
Keyphrases
- space shuttle
- safety critical
- complex environments
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- agent architecture
- support systems
- model checking
- fault detection
- software engineering
- autonomous agents
- adaptive systems
- test cases
- formal specification
- knowledge based systems
- neural network
- regulatory requirements
- distributed systems
- machine learning
- expert systems
- knowledge base
- artificial intelligence