Studi Literatur: Penggunaan Metode Formal dan Terstruktur Pembuatan Program Programmable Logic Controller

Abstract

Penelitian ini bertujuan mengkaji penerapan metode formal dan terstruktur dalam pembuatan program Programmable Logic Controller (PLC) dengan menganalisis literatur pada berbagai artikel jurnal. Metode penelitian adalah literatur reviu. Seleksi artikel dilakukan menggunakan panduan prisma diagram untuk memastikan hasil pencarian sesuai dengan kriteria penelitian. Melalui tinjauan literatur sistematis yang menggunakan kata kunci terkait pada Google Scholar dan aplikasi Harzing’s Publish or Perish. Hasil penelitian menemukan bahwa dari dua belas artikel yang ditinjau, tidak ada yang menyebutkan secara spesifik model atau metode pembuatan program PLC. Meskipun metode penelitian yang digunakan pada masing-masing artikel beragam, tahapan pengembangan program PLC umumnya tidak disajikan secara mendetail. Hasil pencarian tambahan, ditemukan beberapa makalah yang memanfaatkan pendekatan formal seperti model Petri Net dan Signal Interpreted Petri Net (JPST), yang menunjukkan efektivitas dalam menyusun sistem kontrol yang handal dan terdokumentasi. Penelitian ini diharapkan memberikan kontribusi penting terhadap pembelajaran dan pengembangan teori dalam pemrograman PLC, khususnya bagi praktisi dan akademisi yang terlibat dalam pengembangan sistem kendali otomatis di lingkungan industri.