Flight Software Validation and Verification for Safety

This purpose of this program is to: 1) formulate a coherent plan of research to impact flight software validation and verification for commercial space transportation systems; and 2) produce a research roadmap of activities that may lead to a full project pursued under the umbrella of the COE.

  • Supplemental Notes:
    • Program information: Commercial Space Transportation, Commercial Space.


  • English


  • Status: Completed
  • Funding: $5110.00
  • Contract Numbers:


  • Sponsor Organizations:

    Federal Aviation Administration

    800 Independence Avenue, SW
    Washington, DC  United States  20591
  • Project Managers:

    Davidian, Ken

  • Performing Organizations:

    Stanford University

    320 Panama Street
    Stanford, CA  United States  94305
  • Principal Investigators:

    Alonso, Juan

    Hanrahan, Pat

  • Start Date: 20110101
  • Expected Completion Date: 0
  • Actual Completion Date: 20111231
  • Source Data: RiP Project 34987

Subject/Index Terms

Filing Info

  • Accession Number: 01489584
  • Record Type: Research project
  • Source Agency: Department of Transportation
  • Contract Numbers: 10-C-CST-SU
  • Files: RIP
  • Created Date: Aug 13 2013 1:01AM