Development of Assurance Techniques for High-Confidence Flight Software Design for Autonomous Unmanned Air Vehicles

Award Information
Agency:
Department of Defense
Branch
Defense Advanced Research Projects Agency
Amount:
$375,000.00
Award Year:
2002
Program:
SBIR
Phase:
Phase II
Contract:
MDA972-02-C-0018
Award Id:
53294
Agency Tracking Number:
01SB1-0075
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
500 West Cummings Park, Woburn, MA, 01801
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
859244204
Principal Investigator:
Ravi Prasanth
Senior Research Engineer
(781) 933-5355
prasanth@ssci.com
Business Contact:
Raman Mehra
President & CEO
(781) 933-5355
rkm@ssci.com
Research Institution:
n/a
Abstract
"The overall objective of this project are to: (a) Demonstrate automated verification of flight-critical systems (FCS) software using formal methods, (b) Develop an automated model extractor, (c) Develop new verification concepts and tools for largesoftware system, (d) Develop a theory of FCS software complexity, and (e) Commercialize FCS software verification tools. FCS software is any software that directly impacts probability of loss of control, survivability, aircraft stability and handlingqualities, and crew safety. Its verification is currently a time consuming and costly enterprise based on extensive simulation and experimentation. Formal verification requires no simulation or experimentation. Automated model extractor diminishes theneed for FCS software developer to be conversant with formal methods. These features of the project will reduce verification costs significantly. As properties of realistic FCS software are intractable, we introduce concepts such as ProbablyApproximately Correct (PAC) verifier, and computational tools for solving problems approximately. Lockheed Martin Aeronautics Company (LM Aero) in Fort Worth will provide technical and commercialization support. In particular, LM Aero will provide FCSsoftware, requirements and evaluation criteria for X-35 or F-16, and support our efforts to develop, test and commercialize FCS verification tools Professors Thomas Hezinger (UC, Berkeley) and Sanjoy Mitter (M

* information listed above is at the time of submission.

Agency Micro-sites


SBA logo

Department of Agriculture logo

Department of Commerce logo

Department of Defense logo

Department of Education logo

Department of Energy logo

Department of Health and Human Services logo

Department of Homeland Security logo

Department of Transportation logo

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government