Feb 11th, 2007
SPIN - Part 1 : Instalasi
Disclaimer :
Ini adalah bagian pertama dari seri dokumentasi SPIN. Dokumen ini ditulis untuk kepentingan pribadi yang terkait dengan matakuliah ET- 6052 Rekayasa Protokol. Penggunaan sebagian atau keseluruhan dokumentasi ini sebagai referensi maupun untuk disebarluaskan diperkenankan dengan tanpa ada jaminan apapun dari penulis.
Keywords : Installing SPIN in cygwin , SPIN, Promela
SPIN (Simple Promela Interpreter) adalah suatu tool untuk melakukan analisis terhadap konsistensi logika dari suatu sistem concurrent khususnya untuk protokol komunikasi data. Sistem yang dianalisa oleh SPIN ditulis dengan menggunakan bahasa Promela (Protocol/Process Meta Language). Spin didesain pertamakali oleh Gerard Holtzman dari Bell Laboratories pada tahun 1991.
Pada dasarnya SPIN dikembangkan dari bahasa C dan dapat berjalan di OS Unix, Solaris, Linux, Windows dan MAC.
Untuk bagian awal ini saya akan menuliskan mengenai cara instalasi SPIN di Windows dengan menggunakan Cygwin.
note : Sebelum melakukan instalasi, pastikan Anda sudah menginstall Cygwin yang sudah berjalan dengan baik dan Cygwin yang Anda miliki sudah terinstall juga C-Compiler dan juga tcl intepreter.
1. Download versi terbaru dari dari SPIN di websitenya www.spinroot.com dalam bentuk .tar.gz. Versi yang saya install adalah spin versi 428.
2. Copykan spin428.tar.gz ke suatu folder dalam cygwin dimana Anda akan menginstallnya. Untuk saat ini saya contohkan di /home/wawan
3. Extract file spin.tar.gz dengan perintah :
tar -xvzf spin428.tar.gz
4. Akan terbentuk direktori Spin dengan susunan sebagai berikut ;
Spin
|
- Doc
- Man
- Src4.2.8
- Test
- Xspin4.2
- Readme.html
5. Masuklah ke direktori Src4.2.8 dengan perintah :
cd /home/wawan/Spin/Src4.2.8/
6. Didalam direktori Src4.2.8 Anda dapat mengedit makefile agar sesuai dengan sistem Anda atau gunakan default. Untuk kali ini saya menggunakan default dalam makefile meskipun nantinya harus ada beberapa perubahan yang dilakukan agar sesuai dengan configurasi Spin
7. ketikkan
make # atau fungsi make yang sesuai dengan environtment Anda
8. Setelah sukses dan tidak ada error, copikan file Spin.exe yang ada di folder Src4.1.8 ke direktori bin dalam cygwin Anda
cd Src4.2.8
cp Spin.exe /bin/spin
9. Test dengan mengetikkan :
Spin -v
10.Jika instalasi SPIN Anda berhasil maka akan muncul versi dari Spin yang Anda Install beserta build datenya
11.Install XPIN dengan cara mengkopikan file xspin428.tcl dalam folder Xspin4.2 ke folder bin cygwin Anda dan buat jadi executable dengan perintah berikut:
cd Xspin4.2
cp xspin428.tcl /bin/xspin
chmod +x /bin/xspin
11.Karena tadi kita memilih konfigurasi standart dalam makefile maka sebagai konsekuensinya kita harus mengkopikan file cpp.exe dari bin ke lib, hal ini disebabkan dalam konfigurasi SPIN mengenali file cpp.exe berada di folder /lib/. Ketikkan perintah berikut :
cp /bin/cpp.exe /lib/
12. Selesai, lakukan test dengan masuk ke folder Test di direktori Spin dan ketikkan :
xspin leader
13. Jika berhasil maka akan muncul window SPIN Control
Pada bagian berikutnya akan dibahas mengenai sintak-sintak dari bahasa Promela, serta penggunaan SPIN.