Abstract-Vi presenterar ett ramverk för att automatiskt utvärdera prestandan hos mobila ad-hoc Networks (MANETS) i termer av olika typer av mätvärden, såsom genomströmning och energiförbrukning. Vi använder en probabilistisk processkalkyl för att modellera MANET; vi översätter processtermer till Markov Decision Processes (MDP) och använder den probabilistiska modellkontrollen PRISM för att automatiskt utvärdera nätverksprestandan. Vi presenterar en fallstudie bestående av ett nätverk som använder översvämningar för att kommunicera, och vi analyserar hur tid och energikostnader varierar när man driver olika energistyrningsstrategier. Index Terms-process algebra; MANETS; modellkontroll; nätverksgenomströmning; energiförbrukning I. INLEDNING Mobila ad hoc-nät (MANETS) är system av mobila enheter som kommunicerar med varandra via trådlösa länkar utan en på förhand etablerad nätverksinfrastruktur. Anordningarna kan vara beroende av uttömbara kraftkällor, t.ex. batterier, och har därför stränga krav på sin energiförbrukning. Av dessa skäl måste kommunikationsprotokollen, när de behandlar nätverk av denna typ, ta itu med problemet med att tillhandahålla full anslutning mellan nätverksenheter samtidigt som de upprätthåller god prestanda, både när det gäller genomströmning och energibesparing (se t.ex. [16], [17] ). Vi presenterar ett ramverk för att automatiskt utvärdera prestandan hos MANETS i termer av olika typer av mätvärden. Vi använder Probabilistic Energy-aware Broadcast Unicast och Multicast (PEBUM) analys, som infördes i [6], till modeller MANETS. Detta är en probabilistisk processkalkyl som särskilt syftar till att tillhandahålla prestandaanalys i form av mätvärden som energibesparing och genomströmning. PRISM [11] är ett verktyg för modellering och analys av system som uppvisar ett probabilistiskt beteende. Den stöder bland annat modellering av Markovs beslutsprocesser, där icke-deterministiska och probabilistiska aspekter samexisterar. I detta dokument utnyttjar vi PRISM-verktyget för att utföra automatiserad, kvantitativ verifiering och analys av trådlösa nätverk för en rad prestandamått. I synnerhet utvecklar vi en tolk för att översätta en PEBUM-processterm, som representerar ett nätverk, till en MDP-modell som uttrycks i PRISM-språket. Dessutom formulerar vi måtten för beräkning av tid och energikostnader för en nätöverföring i form av belöningsstrukturer. Vi visar effektiviteten i vår ram för en fallstudie som består av en MANET som använder översvämningar för att vidarebefordra meddelanden. Vi analyserar resultatet av
I REF presenteras till exempel ett ramverk för att automatiskt utvärdera prestandan hos mobila ad hoc-nätverk när det gäller olika typer av mätvärden, t.ex. genomströmning och energiförbrukning.
Automatic energy-aware performance analysis of Mobile Ad-Hoc Networks
{'venue': '2012 IFIP Wireless Days', 'journal': '2012 IFIP Wireless Days', 'mag_field_of_study': ['Computer Science']}