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.

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).