Engineering Papers⌕ Search

Engineering topics

Thompson, Sarah J.

Publications and source records attributed to Thompson, Sarah J..

Near-Infrared Monitoring of Volatiles in Frozen Lunar Simulants While Drilling

In Situ Resource Utilization (ISRU) focuses on using local resources for mission consumables. The approach can reduce mission cost and risk. Lunar polar volatiles, e.g. water ice, have been detected via remote sensing measurements and represent a potential resource for both humans and propellant. The exact nature of the horizontal and depth distribution of the ice remains to be documented in situ. NASA's Resource Prospector mission (RP) is intended to investigate the polar volatiles using a rover, drill, and the RESOLVE science package. RP component level hardware is undergoing testing in relevant lunar conditions (cryovacuum). In March 2015 a series of drilling tests were undertaken using the Honeybee Robotics RP Drill, Near-Infrared Volatile Spectrometer System (NIRVSS), and sample capture mechanisms (SCM) inside a 'dirty' thermal vacuum chamber at the NASA Glenn Research Center. The goal of these tests was to investigate the ability of NIRVSS to monitor volatiles during drilling activities and assess delivery of soil sample transfer to the SCMs in order to elucidate the concept of operations associated with this regolith sampling method.

Neutron Spectrometer System↗

The Sample Handling System for the Mars Icebreaker Life Mission: from Dirt to Data

The Mars icebreaker life mission will search for subsurface life on mars. It consists of three payload elements: a drill to retrieve soil samples from approx. 1 meter below the surface, a robotic sample handling system to deliver the sample from the drill to the instruments, and the instruments themselves. This paper will discuss the robotic sample handling system.

Martian Arctic↗

Software Model Checking of ARINC-653 Flight Code with MCP

The ARINC-653 standard defines a common interface for Integrated Modular Avionics (IMA) code. In particular, ARINC-653 Part 1 specifies a process- and partition-management API that is analogous to POSIX threads, but with certain extensions and restrictions intended to support the implementation of high reliability flight code. MCP is a software model checker, developed at NASA Ames, that provides capabilities for model checking C and C++ source code. In this paper, we present recent work aimed at implementing extensions to MCP that support ARINC-653, and we discuss the challenges and opportunities that consequentially arise. Providing support for ARINC-653 s time and space partitioning is nontrivial, though there are implicit benefits for partial order reduction possible as a consequence of the API s strict interprocess communication policy.

Thompson, Sarah J.↗