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
Agency Tracking Number:
01SB1-0075
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
SCIENTIFIC SYSTEMS CO., INC.
500 West Cummings Park, Suite 3000, Woburn, MA, 01801
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
859244204
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

US Flag An Official Website of the United States Government