Collaborative formal modeling of System of Systems

The field of SoS Engineering is still emerging, but it is clear that the interaction between the independent systems as well as the collaboration between the human owners of the systems raise challenges with both technical and human factors. In this paper we present an approach for enabling collaboration between independent system development teams using an Eclipse based tool aimed at creating formal models of SoS. The approach establishes tool-support for collaborative analysis of the development and evolution of system topologies and interfaces by allowing collaboration groups to be established in which developers can exchange selected sub-models of their system models. We show that having a collaborative development environment aimed at the development of formal models for SoS provides an approach for dealing with technical and socio-technical factors in SoS engineering.