| Naslov: | Modeling, simulation, and verification of a Bounded Retransmission Protocol using Spin model checker and SpinRCP integrated development environment : master's thesis |
|---|
| Avtorji: | ID Buden, Pero (Avtor)
ID Brezočnik, Zmago (Mentor) Več o mentorju...  |
|---|
| Datoteke: |  MAG_Buden_Pero_2022.pdf (3,54 MB)
MD5: 222C708E0B6AE517F20306B3B267175A
|
|---|
| Jezik: | Angleški jezik |
|---|
| Vrsta gradiva: | Magistrsko delo/naloga |
|---|
| Tipologija: | 2.09 - Magistrsko delo |
|---|
| Organizacija: | FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
|
|---|
| Opis: | Simple Promela Interpreter (Spin) is a model checker that uses Protocol Meta Language (PROMELA) to describe systems. Unfortunately, PROMELA does not support any time constructs, limiting the implementation of a Bounded Retransmission Protocol (BRP) in Spin's integrated development environment called Spin Rich Client Platform (SpinRCP). In the master's thesis, we model, simulate, and verify four versions of BRP. The first two versions are modeled without a timer, and with the others we show two different ways to simulate timers in PROMELA. The tests we run will show the time and space complexity of verifying each version depending on the size of the file sent and the number of retries to send each chunk. |
|---|
| Ključne besede: | model checker, Bounded Retransmission Protocol, Spin, SpinRCP, timer |
|---|
| Kraj izida: | Maribor |
|---|
| Kraj izvedbe: | Maribor |
|---|
| Založnik: | [P. Buden] |
|---|
| Leto izida: | 2022 |
|---|
| Št. strani: | 1 spletni vir (1 datoteka PDF (XXII, 144 f.)) |
|---|
| PID: | 20.500.12556/DKUM-82146 |
|---|
| UDK: | 621.391(043.2) |
|---|
| COBISS.SI-ID: | 130620419 |
|---|
| Datum objave v DKUM: | 20.10.2022 |
|---|
| Število ogledov: | 588 |
|---|
| Število prenosov: | 54 |
|---|
| 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. |
