Software Formalisms

Award Information
Agency:
Department of Defense
Amount:
$749,984.00
Program:
SBIR
Contract:
HQ0006-07-C-7611
Solitcitation Year:
2005
Solicitation Number:
2005.3
Branch:
Missile Defense Agency
Award Year:
2007
Phase:
Phase II
Agency Tracking Number:
053-0322
Solicitation Topic Code:
MDA05-051
Small Business Information
EDAPTIVE COMPUTING, INC.
1245 Lyons Road, Building G, Dayton, OH, 45458
Hubzone Owned:
N
Woman Owned:
N
Socially and Economically Disadvantaged:
Y
Duns:
031764616
Principal Investigator
 David Barton
 Subject Matter Expert II
 (937) 433-0477
 d.barton@edaptive.com
Business Contact
 Praveen Chawla
Title: President
Phone: (937) 433-0477
Email: p.chawla@edaptive.com
Research Institution
N/A
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government