{'fraction_non_alphanumeric': 0.00974025974025974, 'fraction_numerical': 0.0, 'mean_word_length': 5.360824742268041, '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}}
FUNCTIONAL AND PERFORMANCE MODELING AND ANALYSIS OF TOKEN RING USING EMPA

We present an application of the integrated approach based on the stochastically timed process algebra EMPA to the analysis of token ring. The protocol is formally represented in EMPA. The deadlock freeness of the protocol and the utilization of the channel are then assessed by automatically analyzing the algebraic description with the EMPA based software tool TwoTowers. Finally, we show the potentialities of the integrated approach by investigating the fairness of the protocol, which depends on both functional and performance aspects.