Summary

Description

<p>The task goal is to develop and demonstrate an innovative software architecture, the “Resilient Spacecraft Executive”, that will enable highly-resilient spacecraft and reduce future mission risk and cost. We will develop resilient execution capability that is easily deployable and can handle multiple novel situations. The task will also mature and integrate technologies such as risk-aware execution, correct-by-construction control policy synthesis, and model-based systems engineering.</p>