Validating the Autonomous EO-1 Science Agent

Benjamin Cichy
Benjamin.Cichy@jpl.nasa.gov  
Steve Chien
Steve.Chien@jpl.nasa.gov
Steve Schaffer
Steve.Schaffer@jpl.nasa.gov
Daniel Tran
Daniel.Tran@jpl.nasa.gov
Gregg Rabideau
Gregg.Rabideau@jpl.nasa.gov
Rob Sherwood

Rob.Sherwood@jpl.nasa.gov

Abstract


This paper describes the validation process for the Autonomous Sciencecraft Experiment, a software agent currently flying onboard NASA’s EO-1 spacecraft. The agent autonomously collects, analyzes, and reacts to onboard science data. The agent has been designed using a layered architectural approach with specific redundant safeguards to reduce the risk of agent malfunction to the EO-1 spacecraft. This “safe” design has been thoroughly validated by informal validation methods supplemented by sub-system and system-level testing. This paper describes the analysis used to define agent safety, elements of the design that increase the safety of the agent, and the process used to validate agent safety.

pdf file