Your browser does not allow JavaScript!
JavaScript is necessary for the proper functioning of this website. Please enable JavaScript or use a modern browser.
|
|
SLO
|
ENG
|
Cookies and privacy
DKUM
EPF - Faculty of Business and Economics
FE - Faculty of Energy Technology
FERI - Faculty of Electrical Engineering and Computer Science
FF - Faculty of Arts
FGPA - Faculty of Civil Engineering, Transportation Engineering and Architecture
FKBV - Faculty of Agriculture and Life Sciences
FKKT - Faculty of Chemistry and Chemical Engineering
FL - Faculty of Logistic
FNM - Faculty of Natural Sciences and Mathematics
FOV - Faculty of Organizational Sciences in Kranj
FS - Faculty of Mechanical Engineering
FT - Faculty of Tourism
FVV - Faculty of Criminal Justice and Security
FZV - Faculty of Health Sciences
MF - Faculty of Medicine
PEF - Faculty of Education
PF - Faculty of Law
UKM - University of Maribor Library
UM - University of Maribor
UZUM - University of Maribor Press
COBISS
Faculty of Business and Economic, Maribor
Faculty of Agriculture and Life Sciences, Maribor
Faculty of Logistics, Celje, Krško
Faculty of Organizational Sciences, Kranj
Faculty of Criminal Justice and Security, Ljubljana
Faculty of Health Sciences
Library of Technical Faculties, Maribor
Faculty of Medicine, Maribor
Miklošič Library FPNM, Maribor
Faculty of Law, Maribor
University of Maribor Library
Bigger font
|
Smaller font
Introduction
Search
Browsing
Upload document
For students
For employees
Statistics
Login
First page
>
Show document
Show document
Title:
VERJETNOSTNA VERIFIKACIJA PROTOKOLA CSMA/CA Z ORODJEM PRISM
Authors:
ID
Lavrenčič, Tine
(Author)
ID
Kapus, Tatjana
(Mentor)
More about this mentor...
Files:
UN_Lavrencic_Tine_2016.pdf
(8,65 MB)
MD5: B5A0C6308539BA17EBB46116C01C42AA
Language:
Slovenian
Work type:
Undergraduate thesis
Typology:
2.11 - Undergraduate Thesis
Organization:
FERI - Faculty of Electrical Engineering and Computer Science
Abstract:
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.
Keywords:
krmiljenje dostopa do prenosnega sredstva
,
brezžično osebno omrežje
,
formalne metode
,
verjetnostni časovni avtomat
,
verjetnostno preverjanje modelov
Place of publishing:
[Maribor
Publisher:
T. Lavrečnič
Year of publishing:
2016
PID:
20.500.12556/DKUM-62430
UDC:
621.39:004.414.23(043.2)
COBISS.SI-ID:
20022550
NUK URN:
URN:SI:UM:DK:YEN88TWX
Publication date in DKUM:
21.09.2016
Views:
1538
Downloads:
105
Metadata:
Categories:
KTFMB - FERI
Cite this work
Plain text
BibTeX
EndNote XML
EndNote/Refer
RIS
ABNT
ACM Ref
AMA
APA
Chicago 17th Author-Date
Harvard
IEEE
ISO 690
MLA
Vancouver
:
LAVRENČIČ, Tine, 2016,
VERJETNOSTNA VERIFIKACIJA PROTOKOLA CSMA/CA Z ORODJEM PRISM
[online]. Bachelor’s thesis. Maribor : T. Lavrečnič. [Accessed 17 April 2025]. Retrieved from: https://dk.um.si/IzpisGradiva.php?lang=eng&id=62430
Copy citation
Average score:
0.5
1
1.5
2
2.5
3
3.5
4
4.5
5
(0 votes)
Your score:
Voting is allowed only for
logged in
users.
Share:
Similar works from our repository:
Stabilnost klorantraniliprola v vinogradu
Predlog zaščite geografskega porekla Goriška Brda v okviru Evropske unije
Vpliv embalaže in skladiščnih pogojev na vsebnost fenolnih spojin v vinih Modri Pinot in Zelen
Similar works from other repositories:
Kemijske analize in postopki čiščenja vina
Osnovne kemijske in senzorične analize mošta in vina
Characterization of Slovenian wines using multidimensional data analysis from simple enological descriptors
Biološki razkis vina
Enološka praksa v pridelavi vina
Hover the mouse pointer over a document title to show the abstract or click on the title to get all document metadata.
Secondary language
Language:
English
Title:
PROBABILISTIC VERIFICATION OF A CSMA/CA PROTOCOL BY USING PRISM
Abstract:
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.
Keywords:
medium access control
,
wireless personal-area network
,
formal methods
,
probabilistic timed automaton
,
probabilistic model checking
Comments
Leave comment
You must
log in
to leave a comment.
Comments (0)
0 - 0 / 0
There are no comments!
Back
