SIMSoS simulates a system of systems (SoS), 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): to be published.
Copyright 2017 - SESoS Group in Korea Advanced Institute of Science and Technology (KAIST).