{'fraction_non_alphanumeric': 0.027777777777777776, 'fraction_numerical': 0.0, 'mean_word_length': 5.631901840490798, '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}}
Behavioral Modeling and Run-Time Verification of System-of-Systems Architectural Requirements

This paper addresses the need to analyze and validate the architectural requirements of complex systems-of-systems early in the development process. We present an iterative rapid prototyping process for studying the temporal behavior of the system-of-systems architecture via object-oriented architectural models expressed in UML-RT (UML for Real-Time extension) augmented with formal specification of timing requirements in terms of a time-series temporal logic. The UML-RT models are translated into coarse-grained simulation models that are exercised using the OMNeT++ simulation engine. We instrument the OMNeT++ simulation code with probes that send information to DBRover, a time-series temporal logic tool that simulates, builds, executes and monitors temporal assertions about a target application, for temporal property verification during prototype execution. We illustrate the proposed approach with a case study of the sensor-netting capability of a missile defense system.