{'fraction_non_alphanumeric': 0.009873060648801129, 'fraction_numerical': 0.0, 'mean_word_length': 6.024752475247524, '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}}
Formal Compositional Reasoning of Autonomous Aerial Systems with Complex Algorithms

Critical software systems responsible for emergency management integrate advanced intelligent algorithms to successfully handle contingencies. These algorithms provide a diverse set of advanced functionalities that were previously performed by humans. Thus, to gain confidence in these systems it emphasizes the need to guarantee safety as these algorithms are executed. Additionally, multiple such algorithms might need to be executed sequentially or concurrently to accomplish a mission, or provide guidance for safety critical operations. The selection among the functionalities at runtime is a complex and critical activity that needs to be systematically designed and analyzed before deployment for real time applications. Towards this end, we discuss a formal architectural approach to address the problem, by designing the architecture with the abstract model of the complex algorithms, then identifying the key performance parameters of the complex algorithms, followed by formal verification of the composition of these algorithms with the assignment of formal contracts based on assumptions and guarantees that represent performance boundaries for the system. We then demonstrate our compositional approach in assuring behavior of an autonomous aerial system with advanced algorithms to handle critical emerging situations.