Run-time anomaly detection and mitigation in information-rich cyber-physical systems

Next generation space missions require autonomous systems to operate without human intervention for long periods of times in highly dynamic environments. Such systems are vulnerable to software and/or hardware failures due to unexpected internal or external factors. Moreover, small anomalies, if not detected and isolated in a timely manner, can cascade through the system resulting in catastrophic outcomes, especially in highly dynamic missions where fail safe is not an option. This signifies the need for effective methods for integrated system health management, automated data analysis for decision making and verification and validation. The objective of this project is to develop the scientific foundation and associated algorithmic tools for synthesis of decentralized passive and active monitors for provably correct run-time verification and validation of sensor-rich networked cyber-physical systems. The potential benefits of the proposed research include (i) reductions in the design time of next generation space systems by automating synthesis of monitoring algorithms instead of hand-coded built-in tests, (ii) reductions in system cost by the potential to replace hardware redundancy with software-based solutions, (iii) increase in the time systems operate reliably by enabling timely detection of anomalies and reducing their cascading effects.

The potential benefits of the proposed research include reductions in the design time of next generation space, reductions in system cost, and increase in the time systems operate reliably.

This is early/mid-stage (TRL 3) — the most realistic path in is NASA SBIR/STTR, which funds small businesses and research institutions to develop technology aligned with NASA's needs (equity-free, phased funding). Check whether a current SBIR/STTR solicitation topic overlaps with this project's technology area, or contact the project directly (above) to ask.

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.