This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
V&V of Flight and Mission-Critical Software
May/June 1989 (vol. 6 no. 3)
pp. 39-45

The use of software verification and validation to assure the safety of flight control systems is described. The process considered is performed by the system's developers, not by a separate group as is typical, and it examines the software as part of the system, with emphasis on techniques for review, simulation, and integration and system testing. The use of hardware-in-the-loop simulations for dynamic system verification and flight qualification is discussed.

Index Terms:
software validation; mission-critical software; software verification; flight control systems; review; simulation; integration; system testing; dynamic system verification; aerospace computer control; program verification
Citation:
Eugene L. Duke, "V&V of Flight and Mission-Critical Software," IEEE Software, vol. 6, no. 3, pp. 39-45, May-June 1989, doi:10.1109/52.28122
Usage of this product signifies your acceptance of the Terms of Use.