Abstract:

To solve the problem of model executability, which hinders the early process of validation and assessment of system of systems (SoS), a method of executable model simulation of SoS is proposed. First, the rigorous semantics model of SoS is defined and divided into the structural model and the behavioral model. Then, the executable metamodels of SoS are suggested, basing on the fUML meta-models, for building executable models of SoS, and the executable semantics of the models is defined. To simulate these executable models, a simulation execution system is designed, and the simulation specification language and execution rules are defined. The behavioral models can be translated into executable process terms, to realize the simulation of SoS executable models according to the execution rules. Finally, an instance of theatre air defense is used to illustrate the feasibility of the approach.