{'fraction_non_alphanumeric': 0.017220172201722016, 'fraction_numerical': 0.0, 'mean_word_length': 5.409448818897638, '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}}
A tool for optimal design of soft – real time systems

In recent years a series of important achievements have paved the way for the introduction of probabilistic analysis in the area of soft real–time systems design. In this paper, we present an extensible design tool – called PROSIT – that facilitates the access to this technology for a potentially large number of researchers and industrial practitioners. The tool enables probabilistic analysis of the temporal performance of a real–time task under fixed priority and resource reservations scheduling. For resource reservations, the tool also offers an automatic procedure for the synthesis of scheduling parameters that optimise a quality metric related to the probabilistic behaviour of the tasks. Keywords-Soft real–time systems, Probabilistic Guarantees