Software Formalisms

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: HQ0006-06-C-7485
Agency Tracking Number: 053-0322
Amount: $99,942.00
Phase: Phase I
Program: SBIR
Awards Year: 2006
Solicitation Year: 2005
Solicitation Topic Code: MDA05-051
Solicitation Number: 2005.3
Small Business Information
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
 (703) 286-5431
Business Contact
 Praveen Chawla
Title: President
Phone: (937) 281-0790
Research Institution
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

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