Files Ready for Pick-Up
We recomend the free cross-platform Expander to expand (unzip) any kind of compressed file you receive over the Internet.

Public Mailbox (password may be required: contact me for the public password)
  • Sheldon7-14-08-NSF-Presentation-Materials.zip

  • LDRD-MobileCodeFY2006v5b.pdf
    • Private Mailbox (password is required: contact me for the private password)
  • Click here for a copy of the TSAT IPA proposal

  • Mission critical software development experiment: overview (ppt), comprehensive (ppt)
    These presentations (zip.exe compressed) are password protected and were developed by Kelly Hayhurst, Formal Methods Team, NASA LaRC.

  • Click here for a copy of the GCS SRS document (MSWord97/98 zipped format).
    This document is a sanitized version of the original NASA Software Requirements Specification for the Viking Mars Lander Platform.
    • Miscelaneous
    To view a photograph of the Viking Mars Lander click here.