{"id":338,"date":"2018-11-06T00:57:01","date_gmt":"2018-11-06T00:57:01","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=338"},"modified":"2020-10-05T05:41:13","modified_gmt":"2020-10-05T05:41:13","slug":"overview-of-sesos-research","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/","title":{"rendered":"Overview of SESoS Research"},"content":{"rendered":"<h4><strong>What is a System-of-Systems (SoS)? and Why Is SoS Engineering Needed?<\/strong><\/h4>\n<p>A System-of-Systems (SoS) is a set or arrangement of constituent systems (CSs) that are integrated (i.e., related or connected) into a larger system that delivers higher-level unique capabilities [DoD, JCIDS]<\/p>\n<ul>\n<li>An SoS consists of CSs, which have managerial independence and operational independence, and they cooperate with each other to achieve SoS-level goals [M. W. Maier]<\/li>\n<li>A set of several independently acquired systems (i.e., CSs), which are independent and form in their combined operation a multifunctional solution to an overall coherent mission [H. Eisner et al.]<\/li>\n<\/ul>\n<h4><strong>Our Approach for Model-based SoS Engineering<\/strong><\/h4>\n<p><img loading=\"lazy\" class=\"size-full wp-image-468 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21.png\" alt=\"\" width=\"1396\" height=\"765\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21.png 1396w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-300x164.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-768x421.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-1024x561.png 1024w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-100x55.png 100w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-150x82.png 150w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-200x110.png 200w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-450x247.png 450w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-600x329.png 600w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/fig21-900x493.png 900w\" sizes=\"(max-width: 1396px) 100vw, 1396px\" \/><\/p>\n<p>&nbsp;<\/p>\n<ul>\n<li>For modeling and specifications of SoS, we study <strong>&lt;Model-based SoS Analysis &amp; Design&gt;<\/strong>. This study includes following main research topics:\n<ul>\n<li>Ontology-based Meta-modeling of SoS<\/li>\n<li>SoS Modeling Method<\/li>\n<li>Data-based(or -driven) SoS Environment Analysis and Modeling<\/li>\n<li>Policy Modeling &amp; Specifications<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<ul>\n<li>For verification and validation of SoS, we study <strong>&lt;Model-based SoS V&amp;V and Simulation&gt;<\/strong>. This\u00a0study\u00a0includes following main research topics:\n<ul>\n<li>Discrete Event Simulation<\/li>\n<li>Agent-based Simulation<\/li>\n<li>Simulation-based Statistical Model Checking<\/li>\n<li>Property-based SoS Model Slicing (Goal Model Slicing, Simulation Model Slicing)<\/li>\n<\/ul>\n<\/li>\n<\/ul>\n<p>You can find more information <a href=\"http:\/\/se.kaist.ac.kr\/starlab\/studies\/\">Here<\/a>.<\/p>\n<p>&nbsp;<\/p>\n<h3><strong>OpenSource SW Development<\/strong><\/h3>\n<p>SIMVA-SoS (Simulation-based Verification &amp; Analysis for SoS) is a software for simulating and verifying the SoS, which is under development. Three main techniques\/components are integrated into or utilized by SIMVA-SoS for simulation-based verification and analysis of SoS.<\/p>\n<p><strong><br \/>\n<\/strong><img loading=\"lazy\" class=\"size-full wp-image-470 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3.png\" alt=\"\" width=\"1235\" height=\"760\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3.png 1235w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-300x185.png 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-768x473.png 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-1024x630.png 1024w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-100x62.png 100w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-150x92.png 150w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-200x123.png 200w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-450x277.png 450w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-600x369.png 600w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc3-900x554.png 900w\" sizes=\"(max-width: 1235px) 100vw, 1235px\" \/><\/p>\n<h3><strong>SE for SoS Research Group of KAIST<\/strong><\/h3>\n<p><img loading=\"lazy\" class=\"size-full wp-image-469 alignnone\" src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1.jpg\" alt=\"\" width=\"984\" height=\"652\" srcset=\"https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1.jpg 984w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-300x199.jpg 300w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-768x509.jpg 768w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-100x66.jpg 100w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-150x99.jpg 150w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-200x133.jpg 200w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-450x298.jpg 450w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-600x398.jpg 600w, https:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2018\/11\/\uadf8\ub9bc1-900x596.jpg 900w\" sizes=\"(max-width: 984px) 100vw, 984px\" \/><\/p>\n<p>This work was supported by Institute of Information &amp; communications Technology Planning &amp; Evaluation(IITP) grant funded by the Korea government(MSIT) (No. 2015-0-00250, (SW Star Lab)<\/p>\n<h4>Contact<\/h4>\n<ul>\n<li>Lab website:\u00a0<a href=\"https:\/\/se.kaist.ac.kr\">https:\/\/se.kaist.ac.kr<\/a><\/li>\n<li>Software Engineering Lab &#8211; Manager(2018): Young-Min Baek (ymbaek@se.kaist.ac.kr)<\/li>\n<\/ul>\n","protected":false},"excerpt":{"rendered":"<p>What is a System-of-Systems (SoS)? and Why Is SoS Engineering Needed? A System-of-Systems (SoS) is a set or arrangement of constituent systems (CSs) that are integrated (i.e., related or connected) into a larger system that delivers higher-level unique capabilities [DoD, JCIDS] An SoS consists of CSs, which have managerial independence and operational independence, and they [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":333,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":[],"_links":{"self":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/338"}],"collection":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/comments?post=338"}],"version-history":[{"count":6,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/338\/revisions"}],"predecessor-version":[{"id":904,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/338\/revisions\/904"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/333"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=338"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}