Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

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

Completed Technology Project

Project Description

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. More »

Primary U.S. Work Locations and Key Partners

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.

This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.