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

Award Information
Agency:
National Aeronautics and Space Administration
Branch
n/a
Amount:
$69,981.00
Award Year:
2006
Program:
SBIR
Phase:
Phase I
Contract:
NNA06AA16C
Agency Tracking Number:
054255
Solicitation Year:
n/a
Solicitation Topic Code:
n/a
Solicitation Number:
n/a
Small Business Information
EDAptive Computing Inc
1245-G Lyons Road, Dayton, OH, 45458
Hubzone Owned:
N
Socially and Economically Disadvantaged:
N
Woman Owned:
N
Duns:
031764616
Principal Investigator:
David Barton
Principal Investigator
(703) 286-5431
d.barton@edaptive.com
Business Contact:
Praveen Chawla
Business Official
(937) 281-0790
p.chawla@edaptive.com
Research Institution:
n/a
Abstract
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.

* information listed above is at the time of submission.

Agency Micro-sites

US Flag An Official Website of the United States Government