Skip Navigation
Small Business Innovation Research/Small Business Tech Transfer

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

Completed Technology Project

Project Description

System-Level Autonomy Trust Enabler (SLATE), Phase II
This SBIR addresses the problem that current V&V technology provides component guarantees, but does not do well on system properties. Human acceptance of autonomy hinges on trusting system-level behavior. The goal is to develop technology to verify system properties for high-level autonomous control of complex systems operating in rich and unpredictable environments. The System-Level Autonomy Trust Enabler (SLATE) applies constraint-based models and reasoning to support incremental modifications necessary for system-level V&V of fixed and reconfigurable systems, given component-level guarantees. The significance of this innovation is to enable trusted high-level autonomous control systems across a wide range of critical applications, including manned and unmanned spacecraft, rovers, and habitats. If successful, this will simplify the process of control system design, maintenance, and reconfiguration in response to changes in the environment, the system being controlled, or the mission profile. Phase I addressed SLATE feasibility for requirements representation and reasoning. A TRL-4 proof-of-concept prototype on a multi-level robotic control system, implementing a surface robotics exploration mission, demonstrated that SLATE is feasible in practice. Phase II will develop an application-specific version and provide a user interface, improve performance and reasoning, and demonstrate operation on a 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.