VERIFIKASI LOGIKA KENDALI SISTEM LUBRIKASI TURBIN UAP PEMBANGKIT LISTRIK TENAGA PANAS BUMI BERBASIS TIMED AUTOMATA

IMRON ABDI SANTOSO, Dr.-Ing. Awang N.I. Wardana, S.T., M.T., M.Sc.; Dr. Ir. Andang Widi Harto, M.T.

2015 | Skripsi | S1 FISIKA TEKNIK

Proses verifikasi sistem kendali terhadap spesifikasi kendali di industri masih dilakukan secara manual dan membutuhkan waktu yang lama. Pada penelitian ini dibuat sebuah program verifikasi sistem kendali dalam bentuk timed automata menggunakan perangkat lunak UPPAL Model Checker 4.0. Model akan diimplementasikan pada sistem kendali lubrikasi turbin uap PLTP. Melalui pembuatan program verifikasi sistem kendali ini diharapkan dapat mengurangi waktu yang dibutuhkan pada proses verifikasi. Sistem kendali lubrikasi direpresentasikan oleh dokumen logika kendali, sedangkan spesifikasi kendali lubrikasi direpresentasikan oleh dokumen cause-effect diagram. Logika kendali sistem lubrikasi yang diverifikasi meliputi sistem motor gerigi pemutar, pompa pelumas gerigi pemutar, katup solenoid gerigi pemutar, katup pengunci, katup solenoid kondisi trip, dan katup solenoid kendali aliran pelumas. Hasil penelitian ini berupa program verifikasi sistem kendali dalam bentuk timed automata. Melalui program verifikasi ini berhasil ditemukan logika kendali yang tidak sesuai dengan spesifikasi kendalinya yaitu pada program motor gerigi pemutar, katup pengunci, dan katup solenoid kondisi trip. Logika kendali tersebut berhasil diperbaiki sehingga dapat memenuhi spesifikasi kendalinya.

Verification of control system to its control specification in industry is still done manually and requires a long time. This research aims to create a verification program of control system based on timed automata using UPPAAL Model Checker 4.0 software. The model will be implemented in the steam turbine lubrication control system. Through this research, the time required in the verification process could be reduced. The control system of lubrication is represented by the logic control document, and the control specification of lubrication system is represented by a cause-effect diagram document. The verified systems includes turning gear motor, turning gear oil pump, turning gear solenoid valve, lockout valve steering, mechanical trip and master trip solenoid valve, and oil reset and oil trip solenoid valve. The results of this research is a verification program of control system based on timed automata. Through this verification program, it is also found the logic controls does not appropriate to its control specification which are turning gear motor, lockout valve steering, and mechanical trip and master trip solenoid valve. These control logic is successfully corrected so as to satisfy the control specification.

Kata Kunci : Sistem lubrikasi, timed automata, UPPAAL, logika kendali, cause-effect diagram