<?xml version="1.0"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:dc="http://purl.org/dc/elements/1.1/"><rdf:Description rdf:about="https://dk.um.si/IzpisGradiva.php?id=62430"><dc:title>VERJETNOSTNA VERIFIKACIJA PROTOKOLA CSMA/CA Z ORODJEM PRISM</dc:title><dc:creator>Lavrenčič,	Tine	(Avtor)
	</dc:creator><dc:creator>Kapus,	Tatjana	(Mentor)
	</dc:creator><dc:subject>krmiljenje dostopa do prenosnega sredstva</dc:subject><dc:subject>brezžično osebno omrežje</dc:subject><dc:subject>formalne metode</dc:subject><dc:subject>verjetnostni časovni avtomat</dc:subject><dc:subject>verjetnostno preverjanje modelov</dc:subject><dc:description>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.</dc:description><dc:publisher>T. Lavrečnič</dc:publisher><dc:date>2016</dc:date><dc:date>2016-08-26 16:55:08</dc:date><dc:type>Diplomsko delo</dc:type><dc:identifier>62430</dc:identifier><dc:language>sl</dc:language></rdf:Description></rdf:RDF>