← Back to NASA Technology Projects
Completed TRL 1 (started at 1, targeting 2)
To realize the full benefit from autonomy, systems will have to react to unknown events and uncertain dynamic environments. The resulting number of behaviors is essentially infinite; thus, the system is effectively non-deterministic. This research is exploring new methods to verify and validate (V&V) non-deterministic systems and then inform the operator to foster trust and increase efficiency of the system as a whole.
To realize the full benefit from autonomy, systems will have to react to unknown events and uncertain dynamic environments. The resulting number of behaviors is essentially infinite; thus, the system is effectively non-deterministic. An operator overseeing a group of autonomous vehicles needs to understand and trust the actions of the autonomous vehicles. Achieving trust will become even more difficult and complicated if the vehicles are able to make effectively non-deterministic decisions. This research intends to tackle these problems by informing the operator of the autonomous agent's decision and aspects of its decision process to foster trust and increase efficiency of the system as a whole. This will ultimately aid in developing new methods to V&V non-deterministic systems.
V&V methodology for non-deterministic systems
Listed on TechPort itself — the most direct way to ask about this specific project.
This is early/mid-stage (TRL 1) — 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.