| | SLO | ENG | Piškotki in zasebnost

Večja pisava | Manjša pisava

Izpis gradiva

Naslov:Modelling medium access control in IEEE 802.15.4 nonbeacon-enabled networks with probabilistic timed automata
Avtorji:Kapus, Tatjana (Avtor)
Datoteke:.pdf Mobile_Information_Systems_2013_Kapus_Modelling_medium_access_control_in_IEEE_802.15.4_nonbeacon-enabled_networks_with_probabilistic_tim.pdf (2,25 MB)
MD5: AFADA56129143B1D81843EEC82D1367C
 
URL https://www.hindawi.com/journals/misy/2013/732137/abs/
 
Jezik:Angleški jezik
Vrsta gradiva:Znanstveno delo (r2)
Tipologija:1.01 - Izvirni znanstveni članek
Organizacija:FERI - Fakulteta za elektrotehniko, računalništvo in informatiko
Opis:This paper concerns the formal modelling of medium access control in nonbeacon-enabled IEEE 802.15.4 wireless personal area networks with probabilistic timed automata supported by the PRISM probabilistic model checker. In these networks, the devices contend for the medium by executing an unslotted carrier sense multiple access with collision avoidance algorithm. In the literature, a model of a network which consists of two stations sending data to two different destination stations is introduced. We have improved this model and, based on it, we propose two ways of modelling a network with an arbitrary number of sending stations, each having its own destination. We show that the same models are valid representations of a star-shaped network with an arbitrary number of stations which send data to the same destination station. We also propose how to model such a network if some of the sending stations are not within radio range of the others, i.e. if they are hidden. We present some results obtained for these models by probabilistic model checking using PRISM.
Ključne besede:wireless personal area network, medium access control, hidden station, formal specification, probabilistic model checking
Št. strani:str. 157-188
Številčenje:št. 2, Letn. 9
ISSN:1574-017X
UDK:659.2
COBISS_ID:16807958 Novo okno
DOI:10.3233/MIS-130160 Novo okno
ISSN pri članku:1574-017X
NUK URN:URN:SI:UM:DK:NTFJRHOD
Število ogledov:522
Število prenosov:254
Metapodatki:XML RDF-CHPDL DC-XML DC-RDF
Področja:Ostalo
:
  
Skupna ocena:(0 glasov)
Vaša ocena:Ocenjevanje je dovoljeno samo prijavljenim uporabnikom.
Objavi na:AddThis
AddThis uporablja piškotke, za katere potrebujemo vaše privoljenje.
Uredi privoljenje...

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

Gradivo je del revije

Naslov:Journal of Mobile Information Systems
Založnik:Hindawi Publishing Corporation
ISSN:1574-017X
COBISS.SI-ID:514933273 Novo okno

Sekundarni jezik

Jezik:Slovenski jezik
Ključne besede:osebno brezžično omrežje, krmiljenje dostopa do medija, skriti terminal, formalna specifikacija, verjetnostno preverjanje modelov


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