{'fraction_non_alphanumeric': 0.018154311649016642, 'fraction_numerical': 0.0, 'mean_word_length': 5.304761904761905, '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}}
Using Games for Improved Diagnosis in Trustworthy Design of Autonomic Systems

The GEAR game-based model checker has been used successfully to investigate properties of space systems that must function largely autonomously in inhospitable and far away environments, like the ESA ExoMars Rover. In this paper we summarize the adoption of game-based verification technologies for the long-running Voyager II space mission – long-running in this case means more than thirty years. To this aim, we are currently enabling GEAR’s game-based verification techniques via systematic model extraction from a behavioral subset of a DSL for autonomous system specification.