• DocumentCode
    1073957
  • Title

    V&V of flight and mission-critical software

  • Author

    Duke, Eugene L.

  • Author_Institution
    NASA Ames-Drygen Flight Res. Facility, Edwards, CA, USA
  • Volume
    6
  • Issue
    3
  • fYear
    1989
  • fDate
    5/1/1989 12:00:00 AM
  • Firstpage
    39
  • Lastpage
    45
  • Abstract
    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.<>
  • Keywords
    aerospace computer control; program verification; dynamic system verification; flight control systems; integration; mission-critical software; review; simulation; software validation; software verification; system testing; Aerospace safety; Aircraft; Application software; Control systems; Mission critical systems; Qualifications; Software performance; Software standards; Software testing; System testing;
  • fLanguage
    English
  • Journal_Title
    Software, IEEE
  • Publisher
    ieee
  • ISSN
    0740-7459
  • Type

    jour

  • DOI
    10.1109/52.28122
  • Filename
    28122