USA flag logo/image

An Official Website of the United States Government

Software Formalisms

Award Information

Agency:
Department of Defense
Branch:
Missile Defense Agency
Award ID:
78254
Program Year/Program:
2007 / SBIR
Agency Tracking Number:
053-0322
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
Edaptive Computing, Inc
1245 LYONS RD STE G Dayton, OH 45458-1818
View profile »
Woman-Owned: No
Minority-Owned: Yes
HUBZone-Owned: No
 
Phase 2
Fiscal Year: 2007
Title: Software Formalisms
Agency / Branch: DOD / MDA
Contract: HQ0006-07-C-7611
Award Amount: $749,984.00
 

Abstract:

EDAptive Computing, Inc. [ECI] team is pleased to submit this Phase II proposal in response to SBIR solicitation number MDA05-051: Software Formalisms. By its assigned mission MDA must develop some of the most complex software systems in the world under the most extreme real-time reliability and correctness constraints imaginable. These systems must work the first time and every time, yet there is very little ability to test systems under operational conditions. Costs and risks associated with the development of complex, real-time critical software must be reduced, while safety-based quality metrics are maintained and increased. In our Phase I ModSpec (Model Checking and Execution of Specifications Using Lightweight Formalisms) project we researched and developed a solution providing: integrated graphical entry of specifications, execution of those specifications to increase understanding, and mathematically-based formal verification of those specifications. The capability defined will enable development of specifications in logic that are provably correct. In Phase II, ECI and the ModSpec team will produce the full ModSpec tool and demonstrate it on existing, working MDA projects, immediately making the transition to active MDA applications.

Principal Investigator:

David Barton
Subject Matter Expert II
9374330477
d.barton@edaptive.com

Business Contact:

Praveen Chawla
President
9374330477
p.chawla@edaptive.com
Small Business Information at Submission:

EDAPTIVE COMPUTING, INC.
1245 Lyons Road Building G Dayton, OH 45458

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