System-Level Autonomy Trust Enabler (SLATE), Phase I

This SBIR project will achieve trusted, reconfigurable, intelligent autonomy through system-level validation. The goal is to design and develop a representation and reasoning system for system-level verification and validation (V&V) of high-level autonomous control for complex systems operating in dynamic environments. Starting from component-level behavioral guarantees, the System-Level Autonomy Trust Enabler (SLATE) will reason about composition, abstraction, and embedding of system components, resulting in high-confidence guarantees of behavior for high-level autonomous control systems relevant to a wide range of NASA applications, including manned and unmanned spacecraft, rovers, and habitats. SLATE will support incremental computation of guarantees and the assumptions required, vastly simplifying the reconfiguration, upgrading, or retargeting of autonomous control systems. Phase I will provide a feasibility demonstration and evaluation of SLATE's representation and inference through application to a multi-level robotic control system, and identify the key features needed in an application-ready version of SLATE. Phase II will develop an application-specific version and provide a user interface, address performance and reasoning issues, and demonstrate operation on a representative NASA application.

This is a mature technology (TRL 7+) — the realistic path in is usually NASA's Technology Transfer Program: licensing an existing NASA patent, or a Space Act Agreement to use NASA facilities/expertise directly. NASA also runs a startup licensing program with no upfront fee for companies formed to commercialize a specific NASA technology.

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.