Vizualizacija automata stanja komunikacijskog protokola TCP

undergraduate thesis

• Title (english): Visualization of the TCP communication protocol state machine
• Author: Ivan Drmić
• Mentor: Maja Matijašević (mentor)
• Committee member: Maja Matijašević (predsjednik povjerenstva)
• Committee member: Tomislav Grgić (član povjerenstva)
• Committee member: Krunoslav Ivešić (član povjerenstva)
• Granter: University of Zagreb; Faculty of Electrical Engineering and Computing; Zagreb
• Defense date and country: 2015-07-13, Croatia
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Computing
• Scientific / art field, discipline and subdiscipline: TECHNICAL SCIENCES; Electrical Engineering

Abstract

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.

Abstract (english)

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.

• Keywords: Transmission Control Protocol; Automat stanja; State Machine Compiler
• Keywords (english): Transmission Control Protocol; State machine; State Machine Compiler
• Language: croatian
• URN:NBN: urn:nbn:hr:168:309548
• Study programme: Title: Computing; Study programme type: university; Study level: undergraduate; Academic / professional title: sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva (sveučilišni/a prvostupnik/ prvostupnica (baccalaureus/baccalaurea) inženjer/inženjerka računarstva)
• Type of resource: Text
• File origin: Born digital
• Access conditions: Closed access
• Created on: 2018-02-06 08:34:37