Vitenskapelig artikkel   2012

Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Johnsen, Einar Broch; Griesmayer, Andreas

Publikasjonsdetaljer

Tidsskrift:

International Journal On Advances in Telecommunications, vol. 5, p. 55–68, 2012

Utgiver:

International Academy, Research and Industry Association (IARIA)

Utgave:

1&2

Internasjonale standardnumre:

Trykt: 1942-2601
Elektronisk: 1942-2601

Lenker:

FULLTEKST: http://www.iariajournals.org/telecommunications/tele_v5_n12_2012_paged.pdf

We show a way to evaluate functional properties of distributed algorithms by the example of the AODV algorithm in sensor networks, Creol and ABS models, and component testing. We present a new method to structure the evaluation work into the categories of techniques, perspectives, arrangements, and properties using executable models. We demonstrate how to use this structure for network simulations and component testing using Creol models and demonstrate how the delta modelling technique of the ABS language can be used to facilitate the approach.