{"id":340,"date":"2020-07-20T00:18:38","date_gmt":"2020-07-20T00:18:38","guid":{"rendered":"http:\/\/wardana.staff.ugm.ac.id\/?page_id=340"},"modified":"2020-07-25T23:05:38","modified_gmt":"2020-07-25T23:05:38","slug":"developed-software","status":"publish","type":"page","link":"https:\/\/wardana.staff.ugm.ac.id\/?page_id=340","title":{"rendered":"Developed Softwares"},"content":{"rendered":"<hr \/>\n<p><strong>EvalSIS<\/strong> &#8211; SIS Evaluation Library<\/p>\n<p>EvalSIS is a Safety Instrumented System (SIS)\u00a0 evaluation library that is developed based on model checking. It supports for detail evaluation of SIS. This toolbox is developed using C++.<\/p>\n<hr \/>\n<p><strong>OscDIAG<\/strong> &#8211; Oscillation Diagnosis for Control Loops<\/p>\n<p>OscDIAG is an oscillation diagnosis software \u00a0that is used to detect the oscillation in process control loop. It is developed based on Variational Mode Decomposition.<\/p>\n<hr \/>\n<p><strong>ForPS<\/strong>\u00a0&#8211; Framework for Process Simulator<\/p>\n<p>ForPS is a framework to develop distributed process simulator (e.g. Coal Mills, Fluid Catalytic Cracking, etc.) . It is developed based on IEC 61499.<\/p>\n<hr \/>\n<p><span style=\"font-weight: 600\">MCVer\u00a0<\/span>&#8211; Verification Library for Structured Text Verification<\/p>\n<p><span style=\"font-weight: 600\">MCVer\u00a0<\/span>is a verification library for structured text (IEC 61131-3) for process industry. It is developed at Python based on Timed Model Checking.<\/p>\n<hr \/>\n<p>For detailed information, please contact to <strong>awang.wardana@ugm.ac.id<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>EvalSIS &#8211; SIS Evaluation Library EvalSIS is a Safety Instrumented System (SIS)\u00a0 evaluation library that is developed based on model checking. It supports for detail evaluation of SIS. This toolbox is developed using C++. OscDIAG &#8211; Oscillation Diagnosis for Control Loops OscDIAG is an oscillation diagnosis software \u00a0that is used to detect the oscillation in [&hellip;]<\/p>\n","protected":false},"author":103,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-340","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=\/wp\/v2\/pages\/340","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=\/wp\/v2\/users\/103"}],"replies":[{"embeddable":true,"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=340"}],"version-history":[{"count":11,"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=\/wp\/v2\/pages\/340\/revisions"}],"predecessor-version":[{"id":555,"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=\/wp\/v2\/pages\/340\/revisions\/555"}],"wp:attachment":[{"href":"https:\/\/wardana.staff.ugm.ac.id\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=340"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}