USA flag logo/image

An Official Website of the United States Government

Test-Ready Model for Flexible System-of-Systems

Award Information

Department of Defense
Missile Defense Agency
Award ID:
Program Year/Program:
2006 / SBIR
Agency Tracking Number:
Solicitation Year:
Solicitation Topic Code:
Solicitation Number:
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: Test-Ready Model for Flexible System-of-Systems
Agency / Branch: DOD / MDA
Contract: HQ0006-06-C-7486
Award Amount: $99,953.00


Producing dependable, flexible system-of-systems that exhibit predictable behavior and fault tolerance during runtime is a daunting task. Although formal methods hold a lot of promise, there are several issues that have prevented its use in the mainstream. Specifically, use of formal methods requires very skilled and experienced users, some formal methods do not scale well as the system size grows, and manual translation is required to convert from formal specification models to software models for further implementation. EDAptive Computing team proposes an innovative, practical solution to address these problems. Our existing innovative technology building blocks will be augmented with intuitive specification capture techniques, computerized assistants for use of formal methods, and automatic translation to software models. 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, generate error handling specifications and translate into software model for further implementation. We will leverage our extensive experience with graphical entry, formal languages, and formal methods. The Phase I results 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

Business Contact:

Praveen Chawla
Small Business Information at Submission:

1245 Lyons Road, Building G Dayton, OH 45458

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