• DocumentCode
    2550440
  • Title

    Verification and validation of flight critical systems (VVFCS)

  • Author

    Hall, B. ; Driscoll, K. ; Schweiker, K.

  • fYear
    2012
  • fDate
    14-18 Oct. 2012
  • Firstpage
    1
  • Lastpage
    18
  • Abstract
    NASA is sponsoring a multiple-area multi-year program for verification and validation of flight critical systems. Objective - Provide advanced analytical, architectural, and testing capabilities to enable sound assurance of safety-critical properties.
  • Keywords
    aerospace simulation; safety-critical software; NASA; VVFCS; multiple area multiyear program; safety-critical property; verification and validation of flight critical system;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st
  • Conference_Location
    Williamsburg, VA
  • ISSN
    2155-7195
  • Print_ISBN
    978-1-4673-1699-6
  • Type

    conf

  • DOI
    10.1109/DASC.2012.6383130
  • Filename
    6383130
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=2550440