Announcement
Starting on July 4, 2018 the Indonesian Publication Index (IPI) has been acquired by the Ministry of Research Technology and Higher Education (RISTEKDIKTI) called GARUDA Garba Rujukan Digital (http://garuda.ristekdikti.go.id)
For further information email to portalgaruda@gmail.com

Thank you
Logo IPI  
Journal > JURNAL COMPUTECH & BISNIS > VERIFIKASI DESAIN PEMODELAN LIFT MENGGUNAKAN PROMELA

 

Full Text PDF (201 kb)
JURNAL COMPUTECH & BISNIS
Vol 1, No 1 (2007): Vol. 1 No 1 Juni 2007
VERIFIKASI DESAIN PEMODELAN LIFT MENGGUNAKAN PROMELA
Article Info   ABSTRACT
Published date:
11 Feb 2015
 
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
Copyrights © 2015