Rechercher

[AB11] A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking

Conférence Internationale avec comité de lecture : The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King’s College (Strand Campus), June 2011, pp.25-34, London, United Kingdom,

Mots clés: Wireless sensor network, performability, probabilistic model checking, stochastic π-calculus, PRISM

Résumé: This article presents a method to check the performability of mobile wireless sensor networks. After introducing this method based on formal methods, we apply it to check the performability of an application in a hospital context. A pilot application was deployed to check its properties. We propose to model some aspects of its specifications before checking them. We use a process calculus suitable for reliability and performance modelling of mobile systems. These models are then translated into the language of PRISM, a probabilistic model checker which enables checking of considered properties.

Equipe: systemes surs

BibTeX

@inproceedings {
AB11,
title="{A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking}",
author=" R. Abo and K. Barkaoui ",
booktitle="{The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King’s College (Strand Campus)}",
year=2011,
month="June",
pages="25-34",
address="London, United Kingdom",
}