{"id":157,"date":"2015-12-08T05:19:54","date_gmt":"2015-12-08T05:19:54","guid":{"rendered":"http:\/\/se.kaist.ac.kr\/starlab\/?page_id=157"},"modified":"2018-11-07T05:17:36","modified_gmt":"2018-11-07T05:17:36","slug":"uppaal","status":"publish","type":"page","link":"https:\/\/se.kaist.ac.kr\/starlab\/research\/dictionary\/uppaal\/","title":{"rendered":"Research prototyping with UPPAAL"},"content":{"rendered":"<p>Eunkyoung, Jee\u00a0in SELab has presented SOS simulation with UPPAAL\u00a0in RED&amp;B workshop on Aug 12, 2015.<\/p>\n<p>Its contents was below.<\/p>\n<p>1. MCI Scenario modeling<br \/>\n2. Modeling specification in UPPAAL<br \/>\n2.1. Patient model<br \/>\n2.2. EmergencyCenter model<br \/>\n2.3. Participant model<br \/>\n3. Simulation<br \/>\n4. Case of model checking verification<br \/>\n5. Summary for experience of UPPAAL-SMC<\/p>\n<p>This video shows the modeling simulation in UPPAAL.<\/p>\n<p><video width=\"1200\" height=\"800\" controls autoplay><source src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2015\/12\/UPPALdemo.mp4\" type=\"video\/mp4\"><\/source><source src=\"http:\/\/se.kaist.ac.kr\/starlab\/wp-content\/uploads\/2015\/12\/UPPALdemo.ogv\" type=\"video\/ogv\"><\/source><\/video><\/p>\n<p>[wpdm_package id=&#8217;125&#8242;]<\/p>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Eunkyoung, Jee\u00a0in SELab has presented SOS simulation with UPPAAL\u00a0in RED&amp;B workshop on Aug 12, 2015. Its contents was below. 1. MCI Scenario modeling 2. Modeling specification in UPPAAL 2.1. Patient model 2.2. EmergencyCenter model 2.3. Participant model 3. Simulation 4. Case of model checking verification 5. Summary for experience of UPPAAL-SMC This video shows the [&hellip;]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":42,"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\/157"}],"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=157"}],"version-history":[{"count":5,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/157\/revisions"}],"predecessor-version":[{"id":485,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/157\/revisions\/485"}],"up":[{"embeddable":true,"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/pages\/42"}],"wp:attachment":[{"href":"https:\/\/se.kaist.ac.kr\/starlab\/wp-json\/wp\/v2\/media?parent=157"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}