VERIFIKASI PROGRAM UNTUK LOGIKA KONTROL PADA SISTEM KONDENSER PEMBANGKIT LISTRIK TENAGA PANAS BUMI BERBASIS OTOMATA BERJANGKA WAKTU
HELMI JASIR, Dr.-Ing. Awang N.I. Wardana; Rachmawan Budiarto, S.T., M.T
2015 | Skripsi | S1 FISIKA TEKNIKProses pada Pembangkit Listrik Tenaga Panas Bumi (PLTP) memanfaatkan uap dari dalam perut bumi untuk diubah menjadi sumber listrik melalui beberapa tahapan. Dalam proses Pembangkit Listrik Tenaga Panas Bumi terdapat sistem kondenser yang berfungsi untuk mengubah uap sisa turbin menjadi air kondensat lalu air kondensat tersebut didinginkan di menara pendingin untuk diinjeksikan kembali ke sumur injeksi. Jenis kondenser di PLTP adalah kondenser kontak langsung dengan proses yang mencampurkan uap dan air pendingin yang disemprotkan ke dalam satu tabung sehingga terjadi air kondensat. Tujuan dari penelitian ini adalah untuk membuat program verifikasi pada sistem kondenser PLTP serta melakukan verifikasi program pada sistem tersebut. Hal ini dilakukan agar sesuai dengan diagram sebab-akibat yang berdasarkan pada filosofi kontrol menggunakan perangkat lunak UPPAAL 4.0 berbasis otomata berjangka waktu. Penelitian ini dimulai dengan analisis logika kontrol dengan program Emerson Ovation ���® yang sesuai dengan sistem kondenser, selanjutnya diagram model diagram logika kontrol dibuat dengan menggunakan UPPAAL, narasi sebab-akibat diubah ke dalam bahasa Logika Pohon Komputasi (CTL) kemudian dilanjutkan dengan verifikasi program pada perangkat lunak UPPAAL. Hasil dari penelitian ini adalah waktu yang diperlukan untuk pengecekan pada program di sistem kondenser serta hasil dari verifikasi program berupa memenuhi atau tidak memenuhi pada UPPAAL dengan menyesuaikan logika kontrol diagram dengan spesifikasi sistem pada filosofi kontrol.
Geothermal power plant (PLTP) works using steam from the earth which is transformed into electricity through several process stages. Within process of geothermal powerplant�¢ï¿½ï¿½s, there is a condenser system that transforms steam from the turbine into condensate water. After that, the water is cooled down in a cooling tower. Then, it is injected back into the injection wells. The condenser type which is used in geothermal power plant is direct condenser. In a direct condenser, steam and cooling water is mixed then it is sprayed into a tube which will produce water condensate. This research aims to create a system verification programme to validate the PLTP condenser and program on it. Therefore with the cause effects of the control system based on control philosophy, UPPAAL 4.0 software which is based on timed automata is used. This study begins with analizing control logic on a control sheet based condenser system, making the model control logic diagram using UPPAAL 4.0, then changing language system cause effect into CTL (computational tree logic), and verifying the program verifier in UPPAAL 4.0. Result of this research are checking time on condenser program, and verification result on UPPAAL whether it is satisfied the requirement or not. The last result obtained by comparing logic control diagram with a system specification which is stated in control philosophy.
Kata Kunci : : Kondenser, Otomata Berjangka Waktu, UPPAAL, CTL, Verifier
