| Naslov: | VERJETNOSTNA VERIFIKACIJA PROTOKOLA CSMA/CA Z ORODJEM PRISM |
|---|
| Avtorji: | ID Lavrenčič, Tine (Avtor)
ID Kapus, Tatjana (Mentor) Več o mentorju...  |
|---|
| Datoteke: |  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 |
|---|
| UDK: | 621.39:004.414.23(043.2) |
|---|
| COBISS.SI-ID: | 20022550 |
|---|
| NUK URN: | URN:SI:UM:DK:YEN88TWX |
|---|
| Datum objave v DKUM: | 21.09.2016 |
|---|
| Število ogledov: | 1689 |
|---|
| Število prenosov: | 116 |
|---|
| Metapodatki: |    |
|---|
| Področja: | KTFMB - FERI
|
|---|
|
:
|
Kopiraj citat |
|---|
| | | | Skupna ocena: | (0 glasov) |
|---|
| Vaša ocena: | Ocenjevanje je dovoljeno samo prijavljenim uporabnikom. |
|---|
| Objavi na: |  |
|---|
Postavite miškin kazalec na naslov za izpis povzetka. Klik na naslov izpiše
podrobnosti ali sproži prenos. |
