Claim Missing Document
Check
Articles

Found 1 Documents
Search

VERIFIKASI DESAIN PEMODELAN LIFT MENGGUNAKAN PROMELA Agus Heri; Theodorus Eric
Jurnal Computech & Bisnis (e-Journal) Vol 1, No 1 (2007): Jurnal Computech & Bisnis
Publisher : STMIK Mardira Indonesia, Bandung

Show Abstract | Download Original | Original Source | Check in Google Scholar | Full PDF (200.634 KB) | DOI: 10.55281/jcb.v1i1.6

Abstract

This article discusses the lift system modeling using Promela language and use the software SPIN to verify the design. The process begins with the specification (formally), implementation, and validation. Spin indicates that the design is correct and has been proven to be verified. One reason the use of Spin is its ability to perform the verification process. Keywords: Modeling, System, Elevator, Promela, Spin  AbstrakArtikel ini membahas pemodelan sistem lift dengan menggunakan bahasa Promela dan menggunakan perangkat lunak SPIN untuk memverifikasi desainnya. Prosesnya dimulai dengan spesifikasi (secara formal), implementasi, dan validasi. Spin menunjukkan bahwa desain telah benar dan telah dibuktikan dengan diverifikasi. Salah satu alasan penggunaan Spin adalah kemampuannya untuk melakukan proses verifikasi. Kata Kunci: Pemodelan, Sistem, Lift, Promela, Spin