Simulation Verification Technology for System of Systems Architecture Based on Hierarchical Finite State Machine

Dynamic confrontation environments represent the future trend of system of systems warfare. This operational paradigm requires new equipment to rapidly reconfigure and dynamically evolve system architectures in response to varying combat intensity, enabling efficient collaborative offensive-defensive decision-making. Validating and simulating such military-oriented architectures remains challenging, where architectural executability is key to system-of-systems verification. Solving executable architecture modeling significantly supports SoS validation. As an effective method for SoS behavior modeling, Hierarchical Finite State Machines (HFSM) excel in representing dynamic behaviors. This paper proposes a simulation verification technique for executable architecture models based on HFSM, resolving logical progression and solution in architectures and supporting dynamic operational simulation and verification for future collaborative warfare.