Spot: A Programming Language for Verified Flight Software

The Ion Propulsion System for the Asteroid Redirect Robotic Mission

The Asteroid Redirect Robotic Mission is a Solar Electric Propulsion Technology Demonstration Mission (ARRM) whose main objectives are to develop and demonstrate a high-power solar electric propulsion capability for the Agency and return an asteroidal mass for rendezvous and characterization in a companion human-crewed mission. This high-power solar electric propulsion capability, or an extensible derivative of it, has been identified as a critical part of NASA's future beyond-low-Earth-orbit, human-crewed exploration plans. This presentation presents the conceptual design of the ARRM ion propulsion system, the status of the NASA in-house thruster and power processing development activities, the status of the planned technology maturation for the mission through flight hardware delivery, and the status of the mission formulation and spacecraft acquisition.