Vizualizacija automata stanja komunikacijskog protokola TCP

završni rad

• Naslov (engleski): Visualization of the TCP communication protocol state machine
• Autor: Ivan Drmić
• Mentor: Maja Matijašević (mentor)
• Član povjerenstva: Maja Matijašević (predsjednik povjerenstva)
• Član povjerenstva: Tomislav Grgić (član povjerenstva)
• Član povjerenstva: Krunoslav Ivešić (član povjerenstva)
• Ustanova koja je dodijelila akademski / stručni stupanj: Sveučilište u Zagrebu; Fakultet elektrotehnike i računarstva; Zagreb
• Datum i država obrane: 2015-07-13, Hrvatska
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Računarstvo
• Znanstveno / umjetničko područje, polje i grana: TEHNIČKE ZNANOSTI; Elektrotehnika

Sažetak

Ovim radom opisan je rad protokola TCP s fokusom na uspostavi i raskidu TCP veze. Opisano je ponašanje protokola TCP formalnim modelom automata stanja. Automat stanja programski je izveden primjenom alata za modeliranje SMC i programskog jezika Java. Automat stanja obuhvaća i klijentsku i poslužiteljsku stranu komunikacije. Vizualizacija uspostave i raskida TCP veze realizirana je pomoću grafičkog sučelja putem kojeg korisnik koristi aplikaciju. Njegovim korištenjem korisnik unosi događaje koji uzrokuju promjenu stanja automata. Rješenje obuhvaća i klijentsku i poslužiteljsku stranu komunkacije stoga se koriste dva identična automata stanja i njhov rad, prijelazi i stanja, prikazani su na grafičkom sučelju. Grafičko sučelje ima odvojenu klijentsku i poslužiteljsku stranu.

Sažetak (engleski)

This work describes the work of TCP protocol focusing on the establishment and termination of TCP connection. The behavior of TCP protocol is described by a formal model of state machine. State machine is programmed using the SMC tools of modeling and the JAVA programming language. State machine includes client and server side of communication. Visualization of the establishment and termination of a TCP connection is realized by the means of graphical interface through which the user is using the application. Using the graphical interface the user enters the events that cause a change of state machines. The solution includes the client and server side of communication. Therefore two identical state machines are being used and their work and state transitions are shown in graphical interface. The graphical interface has the client and server side separated.

• Ključne riječi: Transmission Control Protocol; Automat stanja; State Machine Compiler
• Ključne riječi (engleski): Transmission Control Protocol; State machine; State Machine Compiler
• Jezik: hrvatski
• URN:NBN: urn:nbn:hr:168:309548
• Studijski program: Naziv: Računarstvo; Vrsta studija: sveučilišni; Stupanj studija: preddiplomski; Akademski / stručni naziv: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (univ.bacc.ing.comp.)
• Vrsta resursa: Tekst
• Način izrade datoteke: Izvorno digitalna
• Prava pristupa: Zatvoreni pristup
• Datum i vrijeme pohrane: 2018-02-06 08:34:37