diplomsko delo
Matej Dolenc (Author), Miha Mraz (Mentor)

Abstract

V diplomskem delu prikažemo različne metode verificiranja komunikacijskih protokolov. Vsaka izmed metod je na kratko predstavljena, dodatno pa predstavimo še nekaj programskih orodij, ki omenjene metode podpirajo. V nadaljevanju se predvsem osredotočimo na metodo barvnih Petrijevih mrež, ki je grafično orientiran jezik za specifikacijo, simulacijo in verifikacijo komunikacijskih protokolov S pomočjo barvnih Petrijevih mrež lahko poljuben protokol predstavimo kot mrežo, ki je sestavljena iz pogojev in akcij, le-te pa so med seboj povezane z usmerjenimi povezavami. Sledi tudi pregled nekaterih programskih orodij za delo z barvnimi Petrijevimi mrežami, še posebej pa vzamemo pod drobnogled programsko orodje CPN Tools. CPN Tools uporabimo za postavitev modela vedra z žetoni, ki predstavlja protokol, ki se uporablja pri oblikovanju prometa po omrežju. Ko imamo model postavljen, nad njim opravimo postopek verifikacije, v katerem preverimo nekaj najbolj pomembnih lastnosti protokola. Na podlagi pridobljenih rezultatov lahko nato model protokola popravimo in dodatno nadgradimo.

Keywords

verifikacija;barvne Petrijeve mreže;CPN tools;računalništvo;računalništvo in informatika;univerzitetni študij;diplomske naloge;

Data

Language: Slovenian
Year of publishing:
Typology: 2.11 - Undergraduate Thesis
Organization: UL FRI - Faculty of Computer and Information Science
Publisher: [M. Dolenc]
UDC: 004.72(043.2)
COBISS: 1536472771 Link will open in a new window
Views: 807
Downloads: 202
Average score: 0 (0 votes)
Metadata: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Other data

Secondary language: English
Secondary title: Verification of communication protocols with coloured Petri nets
Secondary abstract: In this thesis we point out different methods for verification of communication protocols. Each method is presented in short. In addition, several tools which support mentioned methods are also presented. Next, we primarily focus on a method called coloured Petri nets which is graphically oriented language for specification, simulation and verification of communication protocols. With the help of coloured Petri nets we can present a protocol as a net which consists of places and transitions. Places and transitions are then connected with directional arcs. Then, we take a look at a few tools for work with coloured Petri nets. We mainly focus on a tools called CPN Tools. CPN Tools is used for constructing a model of a token bucket which is a traffic shaping protocol. When the model is constructed we can verify it. During verification we check some of the most important properties of a model. On the basis of results we get, we can then upgrade and fix the erros in the model.
Secondary keywords: verification;coloured Petri nets;CPN tools;computer science;computer and information science;diploma;
File type: application/pdf
Type (COBISS): Bachelor thesis/paper
Study programme: 1000468
Embargo end date (OpenAIRE): 1970-01-01
Thesis comment: Univ. v Ljubljani, Fak. za računalništvo in informatiko
Pages: 53 str.
ID: 8889956