Home

Introduction

The Simulator for System of Systems (SIMSoS) is a tool for simulating given SoS model. This tool supports the simulation-based statistical model checking based on given properties. We currently support the specific SoS model, which is Action-Benefit-Cost (ABC) model, ABC-SoS model.

Even though we support specific SoS model, most of SoS case scenario can be represented and simulated. We provide several example scenario and their ABC-SoS model with scenario class. You can get inspiration for modeling and simulating your SoS case scenario from our examples.

System of Systems (SoS)

There are numerous definition of SoS, but there is a common definition of SoS. SoS is composed of many independent constituent systems (CSs) to achieve complex goals (SoS-level goals). The SoS-level goal is not accomplished by a single CS. Characteristics for SoS to define itself are still controversial because SoS consists of various systems, but it is common that each CS has managerial and operational independence.

Managerial and operational independence of CS indicates that each CS can provide its own functionalities and they are governed by their own groups. This makes hard to predict or estimate whether the SoS in the given case scenario can achieve a SoS-level goal.