SIMVA-SoS: Simulation-based Verification and Analysis for System-of-Systems

A System-of-Systems (SoS) is a large and complex system containing multiple Constituent Systems (CS) to achieve common goals. To verify the common goals in an SoS, one of the common approaches is a simulation-based verification. In this study, we develop the simulation-based verification and analysis for system of systems (SIMVA-SoS) tool. SIMVA-SoS consists of interactive simulation and statistical verification. The interactive simulation follows discrete-time and multi-agent simulation structures and enables continuous evolutionary representation. The statistical verification runs the simulation repeatedly and uses the simulation results to statistically determine the satisfaction of verification properties. In the case study, a stimulus was injected into the interactive simulator at runtime to examine the expressiveness of continuous evolution, and statistical verification results were analyzed. The SoS representation through interactive simulation and solving the state explosion problem through statistical verification confirmed the possibility of the simulationbased verification of the SoS.