| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava
Prva stran > Izpis gradiva

Izpis gradiva Pomoč

Naslov:VERJETNOSTNA VERIFIKACIJA PROTOKOLA CSMA/CA Z ORODJEM PRISM
Avtorji:ID Lavrenčič, Tine (Avtor)
ID Kapus, Tatjana (Mentor) Več o mentorju... Novo okno
Datoteke:.pdf UN_Lavrencic_Tine_2016.pdf (8,65 MB)
MD5: B5A0C6308539BA17EBB46116C01C42AA
 
Jezik:Slovenski jezik
Vrsta gradiva:Diplomsko delo
Tipologija:2.11 - Diplomsko delo
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis:V diplomskem delu je predstavljena verjetnostna verifikacija protokola CSMA/CA iz standarda IEEE 802.15.4 za brezžična osebna omrežja z orodjem PRISM. Po kratki predstavitvi standarda 802.15.4 in opisu njegovih protokolov za dostop do prenosnega sredstva smo se osredotočili le na omrežje z dvema oddajnima postajama z nerežnim protokolom CSMA/CA in ga najprej predstavili s časovnimi avtomati v orodju UPPAAL. Iz modela s časovnimi avtomati smo nato tvorili formalno specifikacijo v obliki verjetnostnih časovnih avtomatov za orodje PRISM. Z orodjem PRISM smo verificirali nekatere verjetnostne lastnosti, ki naj bi jih protokol CSMA/CA po standardu 802.15.4 imel. Pri tem smo verificirali tudi eno izmed izboljšav protokola, predlagano v literaturi.
Ključne besede:krmiljenje dostopa do prenosnega sredstva, brezžično osebno omrežje, formalne metode, verjetnostni časovni avtomat, verjetnostno preverjanje modelov
Kraj izida:[Maribor
Založnik:T. Lavrečnič
Leto izida:2016
PID:20.500.12556/DKUM-62430 Novo okno
UDK:621.39:004.414.23(043.2)
COBISS.SI-ID:20022550 Novo okno
NUK URN:URN:SI:UM:DK:YEN88TWX
Datum objave v DKUM:21.09.2016
Število ogledov:1538
Število prenosov:105
Metapodatki:XML DC-XML DC-RDF
Področja:KTFMB - FERI
:
LAVRENČIČ, Tine, 2016, VERJETNOSTNA VERIFIKACIJA PROTOKOLA CSMA/CA Z ORODJEM PRISM [na spletu]. Diplomsko delo. Maribor : T. Lavrečnič. [Dostopano 13 april 2025]. Pridobljeno s: https://dk.um.si/IzpisGradiva.php?lang=slv&id=62430
Kopiraj citat
  
Skupna ocena:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:Bookmark and Share


Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše podrobnosti ali sproži prenos.

Sekundarni jezik

Jezik:Angleški jezik
Naslov:PROBABILISTIC VERIFICATION OF A CSMA/CA PROTOCOL BY USING PRISM
Opis:This diploma thesis presents the probabilistic verification of a CSMA/CA protocol of IEEE 802.15.4 standard for wireless personal-area networks by using PRISM. It begins with a short presentation of IEEE 802.15.4 standard and the description of its protocol for medium access. Afterwards, we focused only on the network with two unslotted CSMA/CA transmitting stations, firstly being presented with timed automata in UPPAAL. From the timed automata model we made a formal specification in a form of probabilistic timed automata in PRISM. Using PRISM, we verified some probabilistic properties the IEEE 802.15.4 standard CSMA/CA protocol should have. We also verified an improvement of the protocol, which has been proposed in the literature.
Ključne besede:medium access control, wireless personal-area network, formal methods, probabilistic timed automaton, probabilistic model checking


Komentarji

Dodaj komentar

Za komentiranje se morate prijaviti.

Komentarji (0)
0 - 0 / 0
 
Ni komentarjev!

Nazaj
Logotipi partnerjev Univerza v Mariboru Univerza v Ljubljani Univerza na Primorskem Univerza v Novi Gorici