NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Resource Prospector Rover Flight Software Team Investigating Automatic Test Generation Technique
Intelligent Systems Division Banner

Resource Prospector Rover Flight Software Team Investigating Automatic Test Generation Technique

The Resource Prospector (RP) Rover Flight Software (RFSW) Team, in the Applied Avionics Software Group of the Intelligent System Division’s Robust Software Engineering Technical Area, is planning a series of working sessions to investigate a new test generation technique called Realizable, Responsive, Unobtrusive Unit (R2U2) being developed by Robust Software Engineering researchers. The approach has the potential for automatic generation of unit tests for core Flight Systems (cFS) applications.

BACKGROUND: R2U2 has been used as a framework for runtime monitoring of security properties and diagnosing of security threats onboard Unmanned Aerial Systems (UAS). R2U2, implemented in FPGA hardware, was designed to continuously monitor inputs from the Global Positioning System (GPS) and the ground control station, sensor readings, actuator outputs, and flight software status. By simultaneously monitoring and performing statistical reasoning, attack patterns and post-attack discrepancies in the UAS behavior could be detected. R2U2 uses runtime observer pairs for linear and metric temporal logics for property monitoring and Bayesian networks for diagnosis of security threats. In the case of RP RFSW, R2U2 would be adapted to serve automatic test generation purposes.

The Applied Avionics Software Group performs applied research, development, and testing of avionics International Traffic in Arms Regulations (ITAR) NASA Class B software for flight missions. The group practices model-based software engineering and focuses on raising the Technology Readiness Level (TRL) of autonomy technologies and integrating autonomy systems into flight software. The group has experience in developing and deploying avionics software for a wide variety of missions, including the Lunar Atmosphere Dust and Environment Explorer (LADEE) Mission.

Resource Prospector aims to be the first mining expedition on another world ( Using a suite of instruments to locate elements from a lunar southern polar region, the planned rover is designed to excavate volatiles such as hydrogen, oxygen, and water from the Moon. Building on the findings of the Lunar Crater Observation and Sensing Satellite (LCROSS) and Lunar Reconnaissance Orbiter (LRO) missions that proved the existence of water on the Moon, Resource Prospector plans to take the next step to harvest those resources.

NASA PROGRAM FUNDING: Advanced Exploration Systems (AES) Division, Human Exploration and Operations Mission Directorate (HEOMD)

POINT OF CONTACT: Howard Cannon,; Matt Knudson,

First Gov logo
NASA Logo -