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:
$99,000.00
Award Year:
2001
Program:
SBIR
Phase:
Phase I
Contract:
DAAH0101CR151
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, Suite 3000, Woburn, MA, 01801
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
859244204
Principal Investigator:
Jovan Boskovic
Research Engineer
(781) 933-5355
jovan@ssci.com
Business Contact:
Raman Mehra
President
(781) 933-5355
rkm@ssci.com
Research Institute:
n/a
Abstract
Current flight software certificationprocedures for autonomous Unmanned Aerial Vehicles (UAV)and Uninhabited Combat Airial Vehicles (UCAV),such as those employed under the Boeing/DARPAUCAV program, are tedious and cumbersome.Hence there is great interest in developing techniques thatreduce the time and effort needed to complete the certificationprocess even while guaranteeingthe closed-loop UCAV performance undera variety of situations and events.In this proposal we propose to develop efficient functional andsoftware V&V and assurance techniques forhigh-confidence software designfor UCAVs. Our ultimate objective is todevelop corresponding algorithms and software tool, anddemonstrate their features by reducing the software certificationtime and effort encountered in current procedures employedunder the Boeing/DARPA UCAV program.In order to achieve these objectives, in Phase I we propose tocarry out the following tasks:(i) Problem statement for the functional and software V&Vfor UCAV, and choice of a simulation testbed;(ii) Development of functional V&V techniques;(iii) Development of verifiable controllers for UCAVs;(iv) Development of software V&V techniques and assuranceand certification procedures; and (v) Performance evaluationof the proposed algorithms through simulations.Boeing Phantom Works DARPA/UCAV program (Dr. Kevin Wise) will providetechnical and commercialization support throughout the project.Potential applications of the proposed V&V andsoftware assurance techniques and proceduresinclude both military and civilian missions performed using autonomousagents. The applications include autonomous military and commercialUAV and spacecraftmissions, autonomous

* 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