You are here

DEMONSTRABLY CORRECT COMPILATION (DCC)

Award Information
Agency: Department of Defense
Branch: Defense Advanced Research Projects Agency
Contract: N/A
Agency Tracking Number: 18317
Amount: $49,200.00
Phase: Phase I
Program: SBIR
Solicitation Topic Code: N/A
Solicitation Number: N/A
Timeline
Solicitation Year: N/A
Award Year: 1992
Award Start Date (Proposal Award Date): N/A
Award End Date (Contract End Date): N/A
Small Business Information
2622 Pickett Road
Durham, NC 27705
United States
DUNS: N/A
HUBZone Owned: No
Woman Owned: No
Socially and Economically Disadvantaged: No
Principal Investigator
 John Mchugh
 (919) 489-1812
Business Contact
Phone: () -
Research Institution
N/A
Abstract

A TECHNIQUE FOR OBTAINING TRUSTWORTHY COMPILATION BASED ON A COMPILATION CHECKER (SIMILAR TO A PROOF CHECKER) IS PROPOSED. THE TRANSFORMATIONS USED IN A COMPILER WILL BE FORMALLY SPECIFIED AND VERIFIED USING INTERPRETER EQUIVALENCE METHODS. THE COMPILER WILL BE INSTRUMENTED TO PRODUCE A TRACE OF THE TRANSFORMATIONS APPLIED IN THE COMPILATION OF A GIVEN PROGRAM. THE COMPILATION CHECKER WILL VALIDATE THE TRACE USING THE VERIFIED TRANSFORMATIONS ABSTRACTED FROM THE COMPILER. THIS APPROACH SEPARATED THE HARD PROBLEM OF FINDING THE TRANSLATION FROM THE EASIER PROBLEM OF ENSURING THAT THE TRANSLATION HAS BEEN CORRECTLY DONE. FORMAL SPECFICATION AND VERIFICATION OF THE COMPILATION CHECKER USING HAND PROOF TECHNIQUES IS WITHIN THE CURRENT STATE OF THE ART. WITH APPROPRIATE FORMALLY BASED REVERSE ENGINEERING TECHNIQUES, THE APPROACH SHOULD BE EXTENDABLE TO COVER EXISTING COMMERCIAL QUALITY COMPILERS FOR REAL LANGUAGES SUCH AS C AND ADA. ANTICIPATED BENEFITS: THE PROPOSED WORK HAS NUMEROUS POTENTIAL APPLICATIONS BOTH WITHIN THE GOVERNMENT AND IN THE CIVILIAN SECTOR. GOVERNMENT APPLICATIONS RANGING FROM COMPUTER SECURITY AND COMMUNICATIONS TO AVIONICS FOR MILITARY AIRCRAFT COULD BENEFIT FROM TRUSTWORTHY COMPILATION AS COULD CIVILIAN APPLICATIONS RANGING FROM AUTOMOBILES TO COMMERCIAL AVIONICS TO MEDICAL DEVICES TO HOUSEHOLD APPLIANCES WHERE COMPILATION ERRORS HAVE A POTENTIAL FOR CAUSING INJURY OR DEATH.

* Information listed above is at the time of submission. *

US Flag An Official Website of the United States Government