Search NASA⌕ Search
Home/Archive/NASA NTRS

NASA NTRS · 20060042676

Operational modification of the Mars Exploration Rovers flight software

Greco, Martin E.·Snyder, Joseph F.
View original source ↗Export metadata ↓

Abstract

The Mars Exploration Rovers (MER)Flight Software (FSW) was designed from the outset to be modified during operations. This paper discusses the content of the uplink products that are sent to the Rover, the planning of the Patch and Load activities, the testing of the products and prcedures, and the actual operations themselves.

Explore related subjects

patchmodificationflight softwareload

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Greco, Martin E., Snyder, Joseph F.. 2005-10-01. Operational modification of the Mars Exploration Rovers flight software. https://ntrs.nasa.gov/citations/20060042676

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related reports

NASA NTRS2006

Security Verification Techniques Applied to PatchLink COTS Software

Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security of software artifacts. Such an approach has been developed by the Jet Propulsion Laboratory (JPL) and the University of California at Davis (UC Davis). Two security verification instruments were developed and then piloted on PatchLink's UNIX Agent, a Commercial-Off-The-Shelf (COTS) software product, to assess the value of the instruments and the approach. The two instruments are the Flexible Modeling Framework (FMF) -- a model-based verification instrument (JPL), and a Property-Based Tester (UC Davis). Security properties were formally specified for the COTS artifact and then verified using these instruments. The results were then reviewed to determine the effectiveness of the approach and the security of the COTS product.

patch↗