|
 
|
[ABa11] Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks
Conférence Internationale avec comité de lecture : WLN'11, 11th IEEE International Workshop on Wireless Local Networks , December 2011, pp.22-30, Bonn, Germany,Mots clés: Mobility, performability, probabilistic model checking, PRISM
Résumé:
This article presents a technique to evaluate performability of mobile wireless sensor networks. We apply it to check a security application implemented in a hospital context. We use a process calculus suitable for reliability and performance modeling of mobile systems.We focus here on the mobility impact on performance evaluation after translating the obtained model into the language of the probabilistic model checker PRISM.
Equipe:
sys
BibTeX
| @inproceedings { | |||
| ABa11, | |||
| title | = | "{Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks}", | |
| author | = | " R. Abo and K. Barkaoui ", | |
| booktitle | = | "{WLN'11, 11th IEEE International Workshop on Wireless Local Networks }", | |
| year | = | 2011, | |
| month | = | "December", | |
| pages | = | "22-30", | |
| address | = | "Bonn, Germany", | |
| } | |||
