Software Formalisms

Award Information
Agency:
Department of Defense
Branch
Missile Defense Agency
Amount:
$99,942.00
Award Year:
2006
Program:
SBIR
Phase:
Phase I
Contract:
HQ0006-06-C-7485
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:
David Barton
Subject Matter Expert II
(703) 286-5431
d.barton@edaptive.com
Business Contact:
Praveen Chawla
President
(937) 281-0790
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


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