{'fraction_non_alphanumeric': 0.015384615384615385, 'fraction_numerical': 0.0, 'mean_word_length': 5.298387096774194, '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}}
Runtime Assertion Checking of Temporal Specifications in a Mobile Environment

A mobile concurrent system can be checked for correctness at run-time by placing assertions in the code in a method called assertion checking. We propose using this method on a model problem, the Automated Highway System (AHS), to ensure that temporal specifications of the system are fulfill ed at run-time. The process of assertion checking used involves collection of event histories and using assertions to scan through these histories to evaluate them for correctness. Implementation results using Java Aglets (Mobile Agents) on a network of workstations are used to measure the effectiveness of the error detection through fault coverage and error detection latency for various induced failures.