← Back to NASA Technology Projects
Completed TRL 3 (started at 2, targeting 3)
Robust, reliable autonomy is essential to the success of future robotic space missions. Verification and Validation (V&V) of plans is essential to assuring their correctness. Testing is time-consuming and error-prone due to large space of possible scenarios. This project will provide an efficient and direct approach to the V&V of spacecraft plans via further development of symbolic model checking, an abstract and guided approach for V&V of software, to V&V plans for autonomous spacecraft.
Plans are usually V&Ved through testing, which is time-consuming and can miss important cases. Symbolic model checking is a more direct and efficient approach, focusing on properties of interest rather than exhaustive testing. This project will provide an efficient and direct approach to the V&V of spacecraft plans via further development of symbolic model checking, an abstract and guided approach for V&V of software, to V&V plans for autonomous spacecraft.
Listed on TechPort itself — the most direct way to ask about this specific project.
This is early/mid-stage (TRL 3) — the most realistic path in is NASA SBIR/STTR, which funds small businesses and research institutions to develop technology aligned with NASA's needs (equity-free, phased funding). Check whether a current SBIR/STTR solicitation topic overlaps with this project's technology area, or contact the project directly (above) to ask.
None of these are guaranteed paths for this specific project — TechPort itself doesn't have an "apply" button. Reaching out to the contact(s) above with a specific question is usually the fastest way to find out what's actually open.