USA flag logo/image

An Official Website of the United States Government

Model-Based Specification Checker for Multi-Domain Systems (SpecCheck)

Award Information

National Aeronautics and Space Administration
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: Model-Based Specification Checker for Multi-Domain Systems (SpecCheck)
Agency: NASA
Contract: NNA06AA16C
Award Amount: $69,981.00


NASA's software-intensive extraterrestrial exploration and observation systems are raising performance and reliability bars to unprecedented levels. Exaggerating the complexity, in order for such systems to be robust and responsive they must have the ability to use intelligent processes to self-detect and heal, or literally create new programs in response to new situations. Validating the readiness of such complex automated software for long term remote deployment demands not just covering code or branches, or even inputs and outputs, but rather to cover algorithms, rule bases, and states within the system. Even when reducing the order of the problem through traceable model extraction and abstraction we are left with state explosion that drives the test of mission-critical software to unacceptable cost and time extremes. Yet it must be done. This has been a matter of active research at EDAptive Computing, Inc. (ECI), NASA, and elsewhere. Modern specification and software modeling techniques combined with formal methods have yielded promising results. We have demonstrated parts of the solution with smaller scale flight-critical [USAF] software and [MDA] satellite systems. ECI is now uniquely poised to merge and bring the needed technology to fruition at the scale necessary for NASA Exploration Systems.

Principal Investigator:

David L. Barton
Principal Investigator

Business Contact:

Praveen Chawla
Business Official
Small Business Information at Submission:

EDAptive Computing Inc
1245-G Lyons Road Dayton, OH 45458

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