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

Povzetek

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.

Ključne besede

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

Podatki

Jezik: Slovenski jezik
Leto izida:
Tipologija: 2.11 - Diplomsko delo
Organizacija: UL FRI - Fakulteta za računalništvo in informatiko
Založnik: [M. Dolenc]
UDK: 004.72(043.2)
COBISS: 1536472771 Povezava se bo odprla v novem oknu
Št. ogledov: 807
Št. prenosov: 202
Ocena: 0 (0 glasov)
Metapodatki: JSON JSON-RDF JSON-LD TURTLE N-TRIPLES XML RDFA MICRODATA DC-XML DC-RDF RDF

Ostali podatki

Sekundarni jezik: Angleški jezik
Sekundarni naslov: Verification of communication protocols with coloured Petri nets
Sekundarni povzetek: 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.
Sekundarne ključne besede: verification;coloured Petri nets;CPN tools;computer science;computer and information science;diploma;
Vrsta datoteke: application/pdf
Vrsta dela (COBISS): Diplomsko delo/naloga
Študijski program: 1000468
Konec prepovedi (OpenAIRE): 1970-01-01
Komentar na gradivo: Univ. v Ljubljani, Fak. za računalništvo in informatiko
Strani: 53 str.
ID: 8889956