USA flag logo/image

An Official Website of the United States Government

Development of Assurance Techniques for High-Confidence Flight Software Design…

Award Information

Department of Defense
Defense Advanced Research Projects Agency
Award ID:
Program Year/Program:
2002 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
Small Business Information
Woman-Owned: No
Minority-Owned: Yes
HUBZone-Owned: No
Phase 2
Fiscal Year: 2002
Title: Development of Assurance Techniques for High-Confidence Flight Software Design for Autonomous Unmanned Air Vehicles
Agency / Branch: DOD / DARPA
Contract: MDA972-02-C-0018
Award Amount: $375,000.00


"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

Principal Investigator:

Ravi Prasanth
Senior Research Engineer

Business Contact:

Raman Mehra
President & CEO
Small Business Information at Submission:

Scientific Systems Co., Inc.
500 West Cummings Park Woburn, MA 01801

EIN/Tax ID: 043053085
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No