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.

This is a mature technology (TRL 7+) — the realistic path in is usually NASA's Technology Transfer Program: licensing an existing NASA patent, or a Space Act Agreement to use NASA facilities/expertise directly. NASA also runs a startup licensing program with no upfront fee for companies formed to commercialize a specific NASA technology.

None of these are guaranteed paths for this specific project — TechPort itself doesn't have an "apply" button. Reaching out to the contact(s) above with a specific question is usually the fastest way to find out what's actually open.