USA flag logo/image

An Official Website of the United States Government

High Assurance for Embedded Systems through Aspect-Oriented Specification and…

Award Information

Agency:
Department of Defense
Branch:
Defense Advanced Research Projects Agency
Award ID:
53292
Program Year/Program:
2001 / SBIR
Agency Tracking Number:
01SB1-0069
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
ATC-NY
33 Thornwood Dr., Suite 500 Ithaca, NY -
View profile »
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2001
Title: High Assurance for Embedded Systems through Aspect-Oriented Specification and Verification
Agency / Branch: DOD / DARPA
Contract: DAAH0101CR144
Award Amount: $98,977.00
 

Abstract:

Conventional methods of quality assurance cannot manage the increasing complexity of embedded systems and the demands being placed upon them. Aspect-Oriented Programming is a promising new software technology, well suited to embedded systems. MarryingAOP with formal methods will make possible high assurance at low cost, as will be demonstrated by a prototype environment for software development through Aspect-Oriented Assurance; that is, Aspect-Oriented design, specification, and verification.Theproposed prototype development environment for embedded software will provide the means for producing high-assurance software at low cost. The power of formal methods will be at the disposal of developers, without requiring them to learn specializedmathematics. The factorization of the design specification and implementation into aspects will encourage reuse and enable the amortization of development costs over large user bases. The quality and stability of the resulting software will spread thecosts over long periods of time. Without such a tool for producing safe and reliable embedded software, we are faced with the choice between accepting large risks and foregoing the promise of technological advances.The DoD will be the first to benefit from Aspect-Oriented assurance, but the entire embedded systems community stands to gain. Development of the prototype into a commercial prototype will make the technology available. The tremendous commercialpotential of a high-assurance tool for embedded systems will attract many customers and potential third-party commercial partners.

Principal Investigator:

C.Douglas Harper
Sr. Principal Scientist
6072571975
dharper@oracorp.com

Business Contact:

Richard Smith
Controller
6072571975
rick@oracorp.com
Small Business Information at Submission:

ODYSSEY RESEARCH ASSOC., INC.
33 Thornwood Drive, Suite 500 Ithaca, NY 14850

EIN/Tax ID: 161549760
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No