USA flag logo/image

An Official Website of the United States Government

Software Formalisms

Award Information

Agency:
Department of Defense
Branch:
Missile Defense Agency
Award ID:
78254
Program Year/Program:
2006 / SBIR
Agency Tracking Number:
053-0322
Solicitation Year:
N/A
Solicitation Topic Code:
N/A
Solicitation Number:
N/A
Small Business Information
EDAptive Computing, Inc.
1245 Lyons Road Building G Dayton, OH 45458-1818
View profile »
Woman-Owned: No
Minority-Owned: Yes
HUBZone-Owned: No
 
Phase 1
Fiscal Year: 2006
Title: Software Formalisms
Agency / Branch: DOD / MDA
Contract: HQ0006-06-C-7485
Award Amount: $99,942.00
 

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.

Principal Investigator:

David Barton
Subject Matter Expert II
7032865431
d.barton@edaptive.com

Business Contact:

Praveen Chawla
President
9372810790
p.chawla@edaptive.com
Small Business Information at Submission:

EDAPTIVE COMPUTING, INC.
1245 Lyons Road, Building G Dayton, OH 45458

EIN/Tax ID: 311497253
DUNS: N/A
Number of Employees:
Woman-Owned: No
Minority-Owned: No
HUBZone-Owned: No