Skip Navigation
SBIR/STTR

A Formal Method for Verification and Validation of Neural Network High Assurance Systems, Phase I

Completed Technology Project

Project Introduction

A Formal Method for Verification and Validation of Neural Network High Assurance Systems, Phase I
Our proposed innovation is to develop neural network (NN) rule extraction technology to a level where it can be incorporated into a software tool, we are calling NNRules, which captures a trained neural network?s decision logic and uses it as a basis for verification and validation (V&V) of the neural network. This formalism has never been attempted. The significance of the NNRules innovation is that: ? The National Aeronautics and Space Administration, the Department of Defense, the Department of Energy, and the Federal Aviation Administration are currently researching the potential of neural networks in mission- and safety-critical systems. ? High assurance neural network applications require rigorous verification and validation techniques. ? The adaptive and ?black box? characteristics of neural networks make verification and validation of neural networks practically intractable. ? Rule-based systems have a more visible, and potentially human readable, decision logic that supports a robust set of verification techniques. ? Neural network rule extraction research has developed algorithms that translate a neural network into an equivalent set of rules. NNRules embeds this technology in a generally usable tool that will dramatically increase the ability to V&V high assurance neural networks. More »

Primary U.S. Work Locations and Key Partners

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

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.

A final report document may be available for this project. If you would like to request it, please contact us.

^