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
Contract: DAAH0101CR151
Agency Tracking Number: 01SB1-0075
Amount: $99,000.00
Phase: Phase I
Program: SBIR
Awards Year: 2001
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
DUNS: 859244204
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Jovan Boskovic
 Research Engineer
 (781) 933-5355
 jovan@ssci.com
Business Contact
 Raman Mehra
Title: President
Phone: (781) 933-5355
Email: rkm@ssci.com
Research Institution
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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government