SRAE: An Integrated Framework for Aiding in the Verification and Validation of Legacy Artifacts in NASA Flight Control Systems.
Andres S. OrregoGregory E. MundyPublished in: COMPSAC (1) (2007)
Keyphrases
- space shuttle
- control system
- flight test
- high alpha research vehicle
- wind tunnel
- closed loop
- model checking
- high quality
- flight data
- reverse engineering
- safety analysis
- verification method
- fingerprint verification
- formal verification
- control law
- legacy systems
- nasa langley research center
- fault detection
- data visualization
- parameter identification
- formal analysis
- air traffic control
- model validation
- face verification
- source code
- fault detection and isolation
- functional verification
- control scheme