The World as I See It

OVERVIEW

Passport merupakan perangkat switching multimedia yang mendukung berbagai tipe trafik (seperti : data, voice, image dan video). Passport dikembangkan oleh Nortel Network dan memiliki banyak seri sesuai dengan kebutuhan, misalnya Passport seri 6400 yang cocok digunakan untuk keperluan jaringan usaha serta passport seri 7400 yang sesuai digunakan untuk keperluan operator jaringan .

HARDWARE

Passport seri 6400 mempunyai spesifikasi sebagai berikut :

- Mengirimkan semua trafik data, voice dan video melalui leased-line, frame relay publik/private,ATM

- Seri Passport ini meliputi :

o Passport 6420 : 3 slot, ideal untuk sisi cabang/regional

o Passport 6440 : 5 slot , cocok untuk sisi backbone yg relatif kecil

o Passport 6480 :

§ 16 slot

§ Cocok untuk backbone WAN dan u/ area yg luas

§ Redundancy 2 buah bus load sharing, redundancy power supply

§ Mendukung penghematan memory

Passport seri 7400 mempunyai spesifikasi sebagai berikut : :

- Mendukung interface standart frame relay, ATM dan IP

- Kemampuan routing multiprotokol, management trafik yg cerdas

- Seri Passport ini meliputi :

o Passport 7440 : 5 slot, untuk backbone kecil

o Passport 7480 :

§ 16 slot

§ Untuk backbone WAN besar

§ Redundancy 2 buah bus load sharing, dan redundancy power supply

§ Mendukung penghematan memori

Baik passport yang terdiri atas 3 port, 5 port maupun 16 port masing-masing mendukung semua software aplikasi passport dan function processor (FP)

Passport 3 Port :

- Mendukung maksimum 2 FP, dan 1 CFP (Control Function Processor)

- Tidak memiliki CP (Control Processor)

Passport 5 Port :

- Mendukung maksimum 5 card : 4 FP, 1 CP/CFP

Passport 16 Port :

- Mendukung maksimum 16 card prosesor

- 1 CP dan maks 15 FP (atau 14 FP dan 1 space CP)

- Tidak mendukung CFP1

Fungsi dari masing-masing card prosesor diatas sebagai berikut :

Passport Control Processor (CP)

- Mengatur function processor pada shelf

- Menyediakan kemampuan dasar sistem seperti monitoring shelf dan alarm

- Menyediakan timing untuk bus

- File storage

- Data collection

- Command processing

- Interface untuk management device

Passport Control and Function Processor (CFP1)

- Menggabungkan kemampuan control processor (CP) dan beberapa Function Processor (FP)

- Mendukung multiple service

Passport Functional Processor

- Menyediakan port interface untuk menghubungkan passport switch dengan jaringan

- Mendukung dan meng-eksekusi proses real time untuk keperluan service.

SOFTWARE

Software Passport memiliki 4 kelas utama : base, networking, passport trunking, dan access service.

Base Software : menyediakan fungsi sistem dasar yang mendukung software yang lainnya. Fungsi ini meliputi software management, command processing, file storage, data collection, port management, dan network management interface.

Networking Software : menyediakan kemampuan pengiriman paket informasi dari source ke destinationnya. Software ini meliputi : routing and congestion management function

Passport Trunking Software : Memungkinkan node passport untuk terinterkoneksi. Software ini juga memungkinkan node passport untuk terhubung ke node DPN-100.

Access Service Software : menyediakan fungsi komunikasi dari passport seperti : frame relay, ATM, voice networking, internet protocol (IP) dan system network architecture (SNA) .

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.

Kerennnnn………. BGT, itu yang pertama kali terucap pas gw liat produk keluaran Apple Inc (sebelumnya bernama Apple computer) terbaru yang diberi nama iPhone.iPhone pertama diperkenalkan pada ajang MaxWorldExpo 2007 di US. iPhone sendiri merupakan HP generasi baru yang multifungsi yang kata si-Apple Inc-nya sendiri merupakan kombinasi dari 3 produk, Mobile Phone,iPod dan internet communication device.

Yang menarik, HP keluaran Apple hanya memiliki 1 tombol, hanya tombol untuk menu saja, sisanya dihandle oleh layar sentuh (touch screen) nya. Salah satu fitur yang diusung iPhone yang cukup menarik adalah banyaknya sensor yang terpasang, misal sensor untuk screen dimana sensor ini dapat menyesuaikan posisi screennya landscape maupun portrait, jadi kl pas dalam posisi vertikal, gambar / video yang terlihat jadi dalam posisi potrait en kalo hp dalam posisi horisontal , maka otomatis menyesuaikan jadi landscape. Terus kalo misalkan ni hp dipake buat nelp , dia akan mendeteksi kalo dalam posisi diangkat ke deket telinga en otomatis akan mematikan displaynya untuk menghemat batre dan untuk menghindari sentuhan yg tidak diinginkan pada touchscreennya.

Karena keluaran Apple, iPhone ini memakai OS-X sebagai OS nya dan Safari sebagai web-browsernya. Untuk koneksi ke internet, iPhone memanfaatkan konektivitas Wifi, namun sayang teknologi 3G belum didukung oleh perangkat ini.

Pada saat kemunculannya, Apple Inc sempat digugat oleh Cisco System atas merek dagang iPhone yang sudah 2 tahun dipegang oleh Cisco System, namun sepertinya permasalahan tersebut sudah dibicarakan oleh kedua pihak dan Apple yakin mampu mengatasi permasalahan tersebut.

Tentang harga, iPhone di bandrol dengan harga mulai dari US$499 ato hampir 5juta rupiah.Hmm….kapan ya harganya turun , can’t wait to have one…