Software Formalisms

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: HQ0006-07-C-7611
Agency Tracking Number: 053-0322
Amount: $749,984.00
Phase: Phase II
Program: SBIR
Awards Year: 2007
Solicitation Year: 2005
Solicitation Topic Code: MDA05-051
Solicitation Number: 2005.3
Small Business Information
EDAPTIVE COMPUTING, INC.
1245 Lyons Road, Building G, Dayton, OH, 45458
DUNS: 031764616
HUBZone Owned: N
Woman Owned: N
Socially and Economically Disadvantaged: Y
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

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
Environmental Protection Agency logo
National Aeronautics and Space Administration logo
National Science Foundation logo
US Flag An Official Website of the United States Government