prikaz prve stranice dokumenta Automatska verifikacija protokola s vremenskim ograničenjima
Access restricted to students and staff of home institution
undergraduate thesis
Automatska verifikacija protokola s vremenskim ograničenjima
2012. urn:nbn:hr:211:244198
Lisjak, Davor
University of Zagreb
Faculty of Organization and Informatics
Department of Computing and Technology

Cite this document

Lisjak, D. (2012). Automatska verifikacija protokola s vremenskim ograničenjima (Undergraduate thesis). Varaždin: University of Zagreb, Faculty of Organization and Informatics. Retrieved from https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak, Davor. "Automatska verifikacija protokola s vremenskim ograničenjima." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2012. https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak, Davor. "Automatska verifikacija protokola s vremenskim ograničenjima." Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, 2012. https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak, D. (2012). 'Automatska verifikacija protokola s vremenskim ograničenjima', Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, accessed 06 December 2024, https://urn.nsk.hr/urn:nbn:hr:211:244198

Lisjak D. Automatska verifikacija protokola s vremenskim ograničenjima [Undergraduate thesis]. Varaždin: University of Zagreb, Faculty of Organization and Informatics; 2012 [cited 2024 December 06] Available at: https://urn.nsk.hr/urn:nbn:hr:211:244198

D. Lisjak, "Automatska verifikacija protokola s vremenskim ograničenjima", Undergraduate thesis, University of Zagreb, Faculty of Organization and Informatics, Varaždin, 2012. Available at: https://urn.nsk.hr/urn:nbn:hr:211:244198

Please login to the repository to save this object to your list.
Metadata
TitleAutomatska verifikacija protokola s vremenskim ograničenjima
Title (english)Model Checking of Protocols with Time Constraints
AuthorDavor Lisjak
MentorDario Krešić (mentor)
MBZ: 306050
Committee memberNikola Ivković
MBZ: 306480
GranterUniversity of Zagreb
Faculty of Organization and Informatics
(Department of Computing and Technology)
Varaždin
Defense date and country2012-09-27, Croatia
Scientific / art field,
discipline and subdiscipline		SOCIAL SCIENCES
Information and Communication Sciences
Organization and Informatics
Abstract
Automatska verifikacija protokola podrazumijeva algoritamski definiran postupak provjere da li zadani model protokola ispunjava neko traženo svojstvo (npr. "Svaka poslana poruka mora biti potvrđena"). Budući da komunikacijski protokoli u pravilu uključuju i vremenski aspekt (npr. "Primatelj poruke treba poslati potvrdu o primitku poruke unutar vremena t"), prikladno je protokole modelirati pomoću tzv. vremenskih automata (engl. timed automata) koji omogućuju direktnu specifikaciju vremenskih parametara. Za automatsku verifikaciju vremenskih automata korišten je Uppaal, verifikator razvijen na Swedish Institute of Computer Science (SICS). U ovom („praktično“ usmjerenom) radu model Go-Back-N ARQ protokol preveden je u Uppaal-ov specifikacijski jezik te analiziran s obzirom na različita svojstva.
Keywords
Languagecroatian
URN:NBNurn:nbn:hr:211:244198
Study programmeTitle: Information Systems
Study programme type: university
Study level: undergraduate
Academic / professional title: sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike (sveučilišni/a prvostupnik/prvostupnica (baccalaureus/baccalaurea) informatike)
Type of resourceText
File originBorn digital
Access conditionsAccess restricted to students and staff of home institution
Terms of useLicence Attribution-NonCommercial-NoDerivs 3.0 Unported (CC BY-NC-ND 3.0) icon
Created on2017-01-26 11:16:00