Dynamic SIMVA-SoS is a dynamic simulation-based verification and analysis tool for system of systems. Dynamic simulation means that the user can stop the simulation and inject the new scenario events while simulation is executing. To support these features, we adopted discrete time multi-agent simulation structure. Discrete time multi-agent simulation is a good structure to controll the injected events simultaneously. Also, it focuses only for the agents, not the whole system, and that provides a proper level of abstraction for reducing the complexity of simulation. Dynamic SIMVA-SoS simulates a system of systems with injected scenarios, and performs statistical model checking to verify the achievement of SoS-level goals when simulation ends. SoS-level goals can be translated into properties of the SoS.
[Preparation]
You need to install following environment to run our Dynamic SIMVA-SoS:
● JVM 1.8 or later ● Gradle 3.1 or later We recommend that you install IntelliJ to run our tool easier.
[Process]
Checkout our Dynamic SIMVA-SoS where you want it installed. $ git clone https://github.com/sumin0407/SoS-simulation-engine.git Please import the stored libraries in project structure. These libraries are used for writing logs in Excel file.
If the modules are not considered as source code, please apply the src as source code in projects structure
- Modify the simulation end condition (frame number), choose the property to check.
- Run the program in IntelliJ by running main.java.
- Press "s" if you want to interrupt the simulation
- When the simulation is stopped, follow the console's command.
- Resume the simulation.
- When simulation ends, statistical model checking (SMC) performs. When SMC is done, check the result.
Previously, we implemented SIMVA-SoS (SIMulation-based Verification and Analysis tool for System of Systems). We are sorry to tell you that some of the related publications are written in Korean. If you have any questions or suggesitions, please email us, smpark@se.kaist.ac.kr. We are pleased to have talks with you.
https://github.com/SESoS/SIMVA-SoS
https://github.com/sumin0407/SoS-Runtime-Monitoring
Copyright 2017 - SESoS Group in Korea Advanced Institute of Science and Technology (KAIST).