Continuous verification of system of systems with collaborative MAPE-K pattern and probability model slicing

The phenomenon of cooperation among independent systems to achieve common goals has been growing. In this regard, the concept of system of systems (SoS), wherein numerous independent systems cooperate with each other, has been proposed. The key characteristic of an SoS is the operational and managerial (O/M) independence of each constituent system (CS). Each CS of a collaborative SoS with high O/M independence provides different levels of internal-knowledge sharing and is entitled to voluntary participation in the SoS (i.e., dynamic reconfiguration). To increase goal-achievement rate, we need to verify SoS considering the knowledge-sharing and dynamic reconfiguration constraints.