PENGEMBANGAN PROGRAM PERHITUNGAN PROBABILITAS DARI KEGAGALAN PERMINTAAN PADA SISTEM KESELAMATAN BERBASIS INSTRUMENTASI DENGAN METODE MODEL CHECKING BERBASIS RANTAI MARKOV WAKTU DISKRIT

SEPTIAN NIZAR, Dr-Ing Awang N. I. Wardana; Ir. Kutut Suryopratomo, M.T., M.Sc.

2018 | Skripsi | S1 TEKNIK FISIKA

Sistem keselamatan di dalam industri menjadi sebuah isu yang krusial dan penting untuk diperhatikan. Beberapa lapisan proteksi dibuat untuk meningkatkan tingkat keselamatan. Safety instrumented system (SIS) merupakan salah satu dari lapisan proteksi tersebut. SIS harus mampu memenuhi spesifikasi fungsional dan spesifikasi integritas. Spesifikasi integritas dipenuhi dengan desain konseptual, konfigurasi setiap komponen, dan ketepatan hasil perhitungan PFD(SIS) untuk menjamin SIS memenuhi SIL target yang telah ditetapkan. Penelitian ini membuat program untuk menghitung PFD(SIS) secara otomatis sehingga program mudah digunakan. Hasil perhitungan dibandingkan dengan perhitungan standar guna menunjukkan seberapa akurat hasil perhitungan yang dicapai. Metode yang digunakan untuk melakukan perhitungan tersebut adalah metode model checking berbasis rantai Markov waktu diskrit (DTMC). Aplikasi PRISM Model Checker digunakan untuk mengimplementasikan metode model checking dan menghitung nilai PFD dari setiap komponen penyusun SIS. Hasil penelitian dengan membandingkan hasil perhitungan dengan perhitungan standar diperoleh nilai persentase kesalahan relatif terbesar sebesar 1,73%. Hasil ini menunjukkan bahwa perhitungan PFD dengan metode model checking mempunyai keakuratan yang baik.

The safety system in the industry becomes a crucial and important issue to be noticed. Several layers of protection are made to improve the safety level. Safety instrumented system (SIS) is one of the protection layer. The SIS must be able to meet the functional and integrity specifications. The integrity specifications are filled with conceptual design, the configuration of each component, and the accuracy of the calculation results of PFD(SIS) to ensure the SIS meets predefined target SIL value. This research creates a program to calculate PFD(SIS) automatically so that program easy to use. The calculation results are compared with the standard calculations to show how accurate the results of the calculations achieved. The method used to perform such calculations is Model Checking method based on the Discrete Time Makarov Chain (DTMC). The PRISM Model Checker application is used to implement the model checking method and calculate the PFD value of each component of the SIS compiler. The result of the research by comparing the calculation result with the standard calculation, the biggest of the relative error percentage is 1.73%. This result indicates that the calculation of PFD with model checking method has a precise accuracy.

Kata Kunci : Safety Instrumented System (SIS), Model checking, Discrete Time Markov Chains (DTMC), PRISM