SBIR-STTR Award

Verification and Validation of Integrated and Adaptive Control Systems
Award last edited on: 10/25/2005

Sponsored Program
SBIR
Awarding Agency
DOD : AF
Total Award Amount
$99,413
Award Phase
1
Solicitation Topic Code
AF00-272
Principal Investigator
John R James

Company Information

J R James Associates Inc

176D Lee Road
West Point, NY 10996
   (845) 446-0660
   N/A
   N/A
Location: Single
Congr. District: 18
County: Orange

Phase I

Contract Number: ----------
Start Date: ----    Completed: ----
Phase I year
2000
Phase I Amount
$99,413
This project will extend previous work in formal methods, functional languages, adaptive control and hybrid control to establish a methodology and a framework for validation and verification of adaptive/intelligent software systems. We will apply recent results in creating logical abstractions in Haskell to build a capability for automatic verification of new or modified components that meet the constraints imposed on the resulting system. If ready for use, we will apply the specification for the Open Control Platform, currently under development as part of the DARPA Software-Enabled Control project, as the definition of our distributed control platform. Our approach emphasizes the use of off-line verification and validation techniques to establish ranges of parameter variations to be allowed by the adaptive/intelligent control software and on-line techniques to ensure that approved constraints are being met. We will develop an engineering plan to demonstrate use of the Binary Decision Diagram (BDD) and Stanford Validity Checker (SVC) extensions to Haskell to automatically validate an adaptive, on-line control law redesign and implementation to meet performance specifications. This implementation will be designed to demonstrate an initial capability that can be extended to other adaptive and intelligent control systems safety critical tasks.

Phase II

Contract Number: ----------
Start Date: ----    Completed: ----
Phase II year
----
Phase II Amount
----