Software Formalisms

Award Information
Agency:
Department of Defense
Amount:
$99,942.00
Program:
SBIR
Contract:
HQ0006-06-C-7485
Solitcitation Year:
2005
Solicitation Number:
2005.3
Branch:
Missile Defense Agency
Award Year:
2006
Phase:
Phase I
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
 (703) 286-5431
 d.barton@edaptive.com
Business Contact
 Praveen Chawla
Title: President
Phone: (937) 281-0790
Email: p.chawla@edaptive.com
Research Institution
N/A
Abstract
Modern software development processes increasingly depend on complete specifications, the ability to execute the specifications expressed in a lightweight formalism, and the ability to verify properties expressed in that formalism. EDAptive Computing, Inc. (ECI) team has designed the Model Checking and Execution of Specifications using Lightweight Formalisms (ModSpec) program to deliver this combination. Our existing innovative technology building blocks will be augmented with model checking, computerized assistants, and multi-domain component libraries developed in Rosetta, a non-proprietary lightweight formal language. Specifically meeting the topic requirements this combination forms an end-to-end capability to enter or capture a technology-independent specification, evaluate it for completeness, check it for correctness, and report the results in an intuitive form. We will leverage our extensive experience with graphical systems entry, formal languages, formal methods in general, and model checking in particular. We will demonstrate the feasibility of ModSpec by extending an experimental foundation first produced under a related MDA project, or a suitable mutually agreed alternative. The Phase I result will clearly show that this powerful mix of innovative tools and mature methods will result in faster, more accurate, and more error-free software development, integration, reuse, and deployment.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government