MrSPOCK: Steps in Developing an End-to-End Space Application

This article elaborates around a recent effort to build a planning system that helps human mission planning in a space mission. Specifically, the article describes the steps that brought us to develop MrSPOCK, the MARS EXPRESS Science Plan Opportunities Coordination Kit, a tool for supporting long-term planning in the MARS EXPRESS mission of the European Space Agency. In showing our effort for creating MrSPOCK, we will underscore the key ingredients for developing complete applications and how they are connected to a stable line of research on planning and scheduling with timelines.