Oleh: hasanpunyablog | Agustus 30, 2009

software simulasi

SPIN
SPIN (Simple Promela INterpreter):
Tool untuk menganalisa kekonsistenan logika dari sistem yang konkuren, terutama untuk protokol komunikasi data.

Sistem dideskripsikan dalam bahasa pemodelan Promela (Process Meta Language).
XSPIN adalah interface grafikal dari SPIN.

SPIN (2)
Kapabilitas SPIN :
Melakukan simulasi acak/random atau interaktif dari eksekusi sistem
Menghasilkan sebuah program bahasa C yang melakukan verifikasi lengkap dan cepat terhadap ruang state sistem.

SPIN (3)
Spin:
Software open-source
Dikembangkan di Bell Labs pada tahun 1980.
Ditulis dalam bahasa C standar ANSI, dapat digunakan pada berbagai versi Unix, Linux, cygwin, Plan9, Inferno, Solaris, Mac, and Windows.
Tersedia secara gratis sejak tahun 1991

APLIKASI SPIN
Verifikasi Flood Control (yang dibangun akhir dekade 90an di dekat Rotterdam)
Verifikasi logika dari software pemroses panggilan telepon, switch PathStar yang dirancang dan dikembangkan di Lucent Technologies.

PROMELA
Bahasa pemodelan untuk verifikasi.
Memiliki perangkat untuk membuat abstraksi sistem yang menekan detail-detail yang tidak relevan terhadap interaksi proses.
Beberapa sintaksnya mirip bahasa C.

Kesamaan Sintaks dengan C
Operator boolean dan arithmetic
Assignment (“=“) dan equality (“==“)
Deklarasi variabel dan parameter
Inisialisasi variabel dan komentar
Penggunaan kurung kurawal untuk menandai awal dan akhir blok program.
Perbedaan Sintaks dengan C
Titik koma (;) dalam Promela digunakan sebagai pemisah statement

Dalam C: titik koma digunakan sebagai pengakhir statement .
Unit utama eksekusi dalam Promela adalah proses,

Dalam C: fungsi main.

Yang Tidak Ada di Promela
Fungsi yang mengembalikan nilai. Hal ini membuat Promela hanya memiliki 2 level ruang lingkup, yaitu:
global terhadap seluruh model Promela,
lokal terhadap proses tertentu.
Ekspresi dengan side effect, yang diperbolehkan dalam C, contoh: counter =x++;
Pointer.

Yang Hanya Ada di Promela
Spesifikasi struktur kontrol nondeterministic
Primitif untuk membuat proses.
Primitif untuk komunikasi antar proses

PROMELA
Program Promela terdiri dari:
Proses – proses
Channel pesan
Variabel

Proses adalah objek global.
Channel pesan dan variable dapat dideklarasikan baik secara global maupun lokal dalam sebuah proses.
Proses menspesifikasikan perilaku.
Channel dan variabel global mendefinisikan lingkungan tempat proses-proses berinteraksi.

INSTALASI SPIN
Website SPIN: www.spinroot.com (1)
Cara menginstal: http://spinroot.com/spin/Man/README.html (2)
SPIN versi terbaru: http://spinroot.com/spin/Src/index.html (3)
Software pendukung:
gcc (untuk Windows, ambil di http://www.cygwin.com)
Tcl/Tk Wish (http://www.tcl.tk )

INSTALASI SPIN di WINDOWS
Download file pc_spin*.zip terbaru dari (3).
Masuk ke direktori yang akan dijadikan tempat bekerja (yang berada dalam default

search path komputer Anda — cari tahu dengan command “set�?):
Kopi file pc_spin*.zip ke dalamnya
Ekstrak file pc_spin*.zip
Ganti nama spin*.exe hasil ekstraksi di atas menjadi spin.exe

INSTALASI XSPIN
Kopikan file xspin*.tcl hasil ekstraksi ke folder bin cygwin Anda dan buat jadi executable dengan perintah berikut:
chmod +x /bin/xspin


Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s

Kategori

%d blogger menyukai ini: