Wireless Sensor Networks (WSNs) are being increasingly adopted in critical applications,
where verifying the correct operation of sensor nodes is a major concern. Undesired events
may undermine the mission of the WSNs. Hence, their effects need to be properly assessed
before deployment, to obtain a good level of expected performance; and during the
operation, in order to avoid dangerous unexpected results. In this paper, we propose a
methodology that aims at assessing and improving the dependability level of WSNs by …

Abstract Wireless Sensor Networks (WSNs) are being increasingly adopted in critical
applications, where verifying the correct operation of sensor nodes is a major concern.
Undesired events may undermine the mission of the WSNs. Hence their effects need to be
properly assessed before deployment to obtain a good level of expected performance and
during the operation in order to avoid dangerous unexpected results. In this paper we
propose a methodology to support design and deployment of dependable WSNs by means …