How NASA Verified Curiosity Rover's Autonomous Software for Mars Mission

A research monograph from the Shaeffer Institute for Systems Architecture examines the software verification and validation (V&V) framework used for NASA's Mars Science Laboratory (MSL) Curiosity rover. Unlike terrestrial systems that rely on runtime monitoring and redundancy, deep-space software must account for physical irreversibility and limited communication windows with Earth. The MSL flight system was built around a dual-core architecture combining the Mission Data System framework with novel autonomous surface operations software, making standard institutional testing templates insufficient. To address this, engineers deployed a three-tiered assurance framework spanning traditional V&V methods, automated tools, and formal mathematical verification techniques. The study highlights how undetected defects in mission-critical aerospace software can cascade into requirements failures, schedule overruns, and loss of institutional knowledge if not systematically managed.