Skip Navigation
SBIR/STTR

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

Completed Technology Project

Project Introduction

Model-Based Specification Checker for Multi-Domain Systems (SpecCheck), Phase I
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. More »

Primary U.S. Work Locations and Key Partners

Project Library

Share this Project

Organizational Responsibility

Project Management

Project Duration

Light bulb

Suggest an Edit

Recommend changes and additions to this project record.

This is a historic project that was completed before the creation of TechPort on October 1, 2012. Available data has been included. This record may contain less data than currently active projects.

^