Software Formalisms

Award Information
Agency:
Department of Defense
Branch
Missile Defense Agency
Amount:
$749,984.00
Award Year:
2007
Program:
SBIR
Phase:
Phase II
Contract:
HQ0006-07-C-7611
Award Id:
78254
Agency Tracking Number:
053-0322
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
1245 Lyons Road, Building G, Dayton, OH, 45458
Hubzone Owned:
N
Minority Owned:
N
Woman Owned:
N
Duns:
031764616
Principal Investigator:
DavidBarton
Subject Matter Expert II
(937) 433-0477
d.barton@edaptive.com
Business Contact:
PraveenChawla
President
(937) 433-0477
p.chawla@edaptive.com
Research Institute:
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


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

Enviromental Protection Agency logo

National Aeronautics and Space Administration logo

National Science Foundation logo
US Flag An Official Website of the United States Government