{'fraction_non_alphanumeric': 0.021688613477924088, 'fraction_numerical': 0.0, 'mean_word_length': 5.333333333333333, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
MrSPOCK : a Long-term Planning Tool for MARS EXPRESS

This paper describes MrSPOCK (MARS EXPRESS Science Plan Opportunities Coordination Kit), a decision support system for long-term mission planning. The work was carried out within the Advanced Planning and Scheduling Initiative (APSI), a project funded by ESA which aims at creating the basis for a general, flexible and reusable software framework (named here APSI-TRF – APSI Timeline-based Representation Framework) to facilitate injection of AI Planning and Scheduling in space missions to enhance ESA mission operation management performance. The paper first overviews the framework features then shows them at work in supporting the realization of MrSPOCK. The paper shows how to solve an interesting multi-objective optimization problem requiring the satisfaction of various temporal and causal constraints. It then shows how the modeling capabilities of the APSI-TRF supports both the synthesis of an end-to-end approach to the problem, and open the possibility to flexible extensions of the application with added value in terms of modularity, extensibility and reusability. To this purpose, the main steps for the development of an extended application, which includes a model of the satellite power management subsystem are also