Distributed Simulation of Formal Models in System of Systems Engineering

The formal modelling of System of Systems (SoS) is challenged by the autonomy of the participating constituent systems, as system owners may not be willing to share executable models that precisely describe their system´s internals. This paper describes an approach for using distributed simulation within a collaborative development environment to enable the analysis of the entire SoS, without the detailed models of the constituent systems being shared.