Build Status License: Apache-2.0


SIMVA-SoS is a simulation-based verification and analysis tool for system of systems. It simulates a system of systems, and performs statistical model checking to verify the achievement of SoS-level goals. SoS-level goals can be translated into properties of the SoS. It is an open framework consisting of independent modules: simulator, property checker and statistical hypothesiss test module.

More Information

We are sorry to tell you that related publications are written in Korean. If you have any questions or suggesitions, please email us, [email protected]. We are pleased to have talks with you.

Mingyu Jin, Donghwan Shin, Junho Kim, Doo-Hwan Bae. "System-of-Systems-level Goal Achievement Verification Tool." Proceedings of KIISE, (2017.6): 552-554.

Junho Kim, Donghwan Shin, Doo-Hwan Bae. "An Applicability Study of Action-Benefit-Cost Model and Statistical Model Checking for System of Systems Goal Achievement Verification." KIISE Transactions on Computing Practices, 23.4 (2017.4): 256-261.


Copyright 2017 - SESoS Group in Korea Advanced Institute of Science and Technology (KAIST).