USA flag logo/image

An Official Website of the United States Government

Test-Ready Model for Flexible System-of-Systems

Award Information

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

Abstract:

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
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