Performability Evaluation With Probabilistic Model Checking For Mobile Wireless Sensor Networks

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