Skip to content

Home

Jump to bottom
Mingyu Jin edited this page Sep 14, 2017 · 7 revisions

Introduction

The Simulation-based Verification and Analysis for System of Systems (SIMVA-SoS) is a tool for simulation, verification and analysis on 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.

To solve such kinds of problems, we proposed Action-Benefit-Cost model and this simulator and verification algorithm implementation.

Installation

You need to install following environment to run our SIMSoS:

  • JVM 1.8 or later
  • Gradle 3.1 or later

We recommend that you install IntelliJ to run our tool easier.

Basic Installation from GitHub Source Code

  1. Checkout our SIMVA-SoS where you want it installed.

    $ git clone https://github.com/SESoS/SIMVA-SoS.git

  2. You have two options, load the project using gradle and IntelliJ. If you choose this, you just use File > New > Project from Version Control > GitHub and type our repository location. If you already downloaded our project, you just import it.

  3. If you want to packing and run our tool *.jar file, then type those keyword.

    $ gradle jar

or

$ gradle build
Clone this wiki locally