Test-Ready Model for Flexible System-of-Systems

Award Information
Agency: Department of Defense
Branch: Missile Defense Agency
Contract: HQ0006-06-C-7486
Agency Tracking Number: 053-0324
Amount: $99,953.00
Phase: Phase I
Program: SBIR
Awards Year: 2006
Solicitation Year: 2005
Solicitation Topic Code: MDA05-056
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
Email: p.chawla@edaptive.com
Research Institution
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.

* 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