EvalSIS – SIS Evaluation Library

EvalSIS is a Safety Instrumented System (SIS)  evaluation library that is developed based on model checking. It supports for detail evaluation of SIS. This toolbox is developed using C++.

OscDIAG – Oscillation Diagnosis for Control Loops

OscDIAG is an oscillation diagnosis software  that is used to detect the oscillation in process control loop. It is developed based on Variational Mode Decomposition.

ForPS – Framework for Process Simulator

ForPS is a framework to develop distributed process simulator (e.g. Coal Mills, Fluid Catalytic Cracking, etc.) . It is developed based on IEC 61499.

MCVer – Verification Library for Structured Text Verification

MCVer is a verification library for structured text (IEC 61131-3) for process industry. It is developed at Python based on Timed Model Checking.

For detailed information, please contact to awang.wardana@ugm.ac.id