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: MDA972-02-C-0018
Agency Tracking Number: 01SB1-0075
Amount: $375,000.00
Phase: Phase II
Program: SBIR
Awards Year: 2002
Solicitation Year: N/A
Solicitation Topic Code: N/A
Solicitation Number: N/A
Small Business Information
Scientific Systems Co., Inc.
500 West Cummings Park, Woburn, MA, 01801
DUNS: 859244204
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: N
Principal Investigator
 Ravi Prasanth
 Senior Research Engineer
 (781) 933-5355
 prasanth@ssci.com
Business Contact
 Raman Mehra
Title: President & CEO
Phone: (781) 933-5355
Email: 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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government