PROPOSAL TUGAS AKHIR EC-7030 METODA FORMAL PENDETEKSIAN NODE-NODE DALAM JARINGAN KOMPUTER Dr. Ir. Budi Ra ard!

" Tanggal : 8 Juli 2004 || || || #ELI$ %3%0%&'7 || || || OPTION MIKROELEKTRONIKA TEKNIK ELEKTRO FAKULTAS TEKNOLOGI INDUSTRI INSTITUT TEKNOLOGI BANDUNG BANDUNG %00(

OPTION MIKROELEKTRONIKA TEKNIK ELEKTRO FAKULTAS TEKNOLOGI INDUSTRI INSTITUT TEKNOLOGI BANDUNG BANDUNG %00(

PROPOSAL TUGAS AKHIR EC-7030 METODA FORMAL

Nama NIM Program S u!i Ju!ul Tuga$ %"&ir Pem/im/ing 'ila"$ana"an

: Velix. : 23202167. : Te"ni" #le" ro. : P#N'#T#(SI%N N)'#*N)'# '%+%M J%,IN-%N ()MP.T#,. : 'r. Ir. 0u!i ,a&a!1o. : Seme$ er gena2 a&un 200332004.

0an!ung4 8 Juli 2004 5ang mengu$ul"an4

Velix.

Menge a&ui4 'o$en Ma a (ulia&

'r. Ir. 0u!i ,a&ar!1o

PENDETEKSIAN NODE-NODE DALAM JARINGAN KOMPUTER

&. Judu) Tu*a+ A, ir P#N'#T#(SI%N N)'#*N)'# '%+%M J%,IN-%N ()MP.T#,. %. La-ar B.)a,a/* Ma+a)a Pa!a $aa ini4 !unia !ira$a $anga $em2i . (omuni"a$i era$a $anga 6e2a 4 !imana /eri a 2a!a $ua u em2a !a2a !i"e a&ui ole& $e$eorang 7ang /era!a 2a!a $ua u em2a 7ang $anga 1au&. 'alam "omuni"a$i 1ara" 1au&4 !i/u u&"an ala /an u4 $e2er i ele2on4 8ax4 in erne !an lain*lain4 7ang !imana !i/u u&"an $in"roni$a$i an ara transmitter !an receiver. 0ila i!a"4 ma"a a"an er1a!i "e$ala&an "omuni"a$i. )le& "arena i u4 $am2ai $aa ini ma$i& !ila"u"an 2eneli ian un u" mene a2"an 2ro o"ol !alam "omuni"a$i !a a un u" mengurangi noise !an "e$ala&an !alam "omuni"a$i. Sala& $a u 6ara menga a$in7a4 !iran6ang $ua u $i$ em 7ang !a2a men!e e"$i "ea" i8an $emua node3client 2a!a $i$ em un u" $elang 9a" u er en u. 3. P.ru0u+a/ Ma+a)a 'alam "omuni"a$i 1aringan "om2u er4 $ala& $a u 6ara un u" menge8e" i8"an !an menge8i$ien"an 1alur "omuni"a$i4 7ai u : Men!e e"$i a2a"a& node transmitter !an node receiver !alam "ea!aan a" i8 !engan men!e e"$i $e ia2 node !alam $elang 9a" u er en u. Pro o"ol (omuni"a$i 'a a. Pro o"ol /eri$i $e"um2ulan a uran un u" menga ur 2ro$e$ 2engiriman !a a !alam /en u" software 7ang er!a2a 2a!a "om2u er !an ala "omuni"a$i lainn7a 7ang /er u1uan un u" meme6a&"an ma$ala& 2a!a 2en ran$8eran !a a. Sala& $a u 6on o&n7a a!ala& T:P3IP 7ang meru2a"an $e"um2ulan

2ro o6ol 7ang !i!e$ain un u" mela"u"an 8ung$i*8ung$i "omuni"a$i !a a 2a!a Wide Area Network ;<%N=. (. Tu!ua/ Tu*a+ A, ir Tu1uan a"&ir !ari uga$ a"&ir ini a!ala& menge8e" i8"an !an menge8i$ien"an 1alur "omuni"a$i !engan men!e e"$i "ea" i8an node 2a!a $emua node 2a!a $i$ em un u" $elang 9a" u er en u4 $e&ingga $i$ em men1a!i &an!al. 1. Ti/!aua/ Pu+-a,a T:P3IP er!iri a a$ 4 la2i$ "um2ulan 2ro o6ol 7ang /er ing"a 4 2a!a gam/ar 1.
Application Layer (SMTP, FTP, TTP) Transport Layer (TCP, UDP) Internet Layer (IP, ICMP, ARP) Network Interface Layer (Ethernet, X-25) Jaringan Fisik

-am/ar 1. Layer T:P3IP Peren6anaan software 7ang a"an !iguna"an 7ai u /a&a$a P,)M#+% !engan tools SPIN. '. S2.+i3i,a+i Si+-.0 Se6ara gari$ /e$ar4 $i$ em 7ang a"an !i/ua $e/agai /eri"u : Ter!a2a 2en!e e"$i an ara $e ia2 node4 2a!a gam/ar 2.

Node

Node

Node

"

Node

-am/ar 2. Pen!e e"$ian %n ar Node Selama 2en!e e"$ian4 er!a2a 2 ;!ua= 2eri$ i9a 7ang mung"in er1a!i : Node receiver !alam "ea!aan a" i8. Node receiver !alam "ea!aan i!a" a" i8.

7. M.-"d")"*i P./.)i-ia/ ,en6ana !e$ain !ila"u"an $e$uai !engan lang"a&*lang"a& /eri"u : S u!i li era ur T:P3IP. Fault Tolerant. Petri Net Theory And The Modeling Of Systems. 'i$ain !an im2lemen a$i software 0a&a$a 2emrograman 7ang !iguna"an 7ai u /a&a$a P,)M#+% !engan tools SPIN.

>

Pengu1ian $i$ em Mela"u"an 2engu1ian a2a"a& 2rogram !a2a men!e e"$i "ea" i8an node !engan /ai".

%nali$i$ !an 2engam/ilan "e$im2ulan 'ila"u"an !engan meli&a &a$il !ari 2en!e e"$ian node.

4. R.).5a/+i Man8aa !ari 2en!e e"$ian "ea" i8an no!e 2a!a 1aringan "omuni"a$i4 mem/ua $7$ em men1a!i le/i& e8e" i8 !an e8i$ien. Pen!e$ain ini mengam/il "on$e2 !ari /u"u ?Fault Tolerance in Modeling Of Systems"4 istri!uted System@ !an ?Petri Net Theory And The !imana 2enuli$ mengam/il i!en7a !an

menga2li"a$i"an !alam /a&a$a P,)M#+% !engan tools SPIN. 6. Jad7a) K.*ia-a/ Juli $% J%'<%+ (#-I%T%N T.-%S %(AI, 2004 ! +a2oran Tuga$ %"&ir &0. Da3-ar Pu+-a,a 1. Pur/o4 )nno. <4 ?T#P$%P Standar& 2. Jalo e4 Pan"a14 ?Fault Tolerance in esain& dan %m'lementasi@4 PT #lex istri!uted Systems@4 Pren i6e*Aall

Me!ia (om2u in!o4 Ja"ar a4 In!one$ia4 1BB8. In erna ional4 In64 .ni e! S a e$ o8 %meri6a4 1BB4. 3. Pe er$on4 Jame$. +4 ?Petri Net Theory And The Modeling Of Systems@4 Pren i6e*Aall In erna ional4 In64 .ni e! S a e$ o8 %meri6a4 1B81.