A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

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

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.
Fichier non déposé

Dates et versions

hal-01125896 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01125896 , version 1

Citer

Robert Abo, Kamel Barkaoui. A Performability Analysis of Mobile Wireless Sensor Networks with Probabilistic Model Checking. The 7th IEEE co-sponsored international conference on Wireless Advanced, Center for Telecommunication Research, King?s College (Strand Campus), Jun 2011, London, United Kingdom. pp.25-34. ⟨hal-01125896⟩
15 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More