{'fraction_non_alphanumeric': 0.0195578231292517, 'fraction_numerical': 0.0008503401360544217, 'mean_word_length': 5.764367816091954, '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}}
Compositional Architecture Design for Fuel Tank Thermal Systems

As the foundations of the 6th generation aircraft are being established, they are being designed to provide more capabilities under architectural constraints that may lead to thermal and power limitations. As the complexity grows, the traditional systems engineering methods of verification and validation (V&V) have shown deficiencies that result in cost overruns for aircraft development. In order to mitigate these V&V challenges, the Air Force Research Laboratory Verification and Validation of Complex and Autonomous Systems (VVCAS) Team has leveraged its domain expertise and input from industry, academia, and other government agencies to generate a process to more effectively design, develop, and certify complex systems. This paper demonstrates the VVCAS process by using the assume-guarantee construct on subcomponents to aid in their verification. The subcomponents are then composed into two fuel thermal system architectures. Finally, these architectures are then shown to be provably correct using the Assume Guarantee Reasoning Environment (AGREE) at the architectural level in the design phase.