A framework to support dependability evaluation of WSNs from AADL models

Wireless Sensor Networks (WSNs) have been widely considered as a promising solution to support different types of applications on industrial environments. Many of these applications impose strict dependability requirements, since a system failure may result in economic losses, or damage for human life or to the environment. The absence of an effective approach enabling the dependability evaluation of WSNs prevents system designers to forecast these type of scenarios or to optimize decisions regarding the criticality of the devices, network topology, levels of redundancy and network robustness that minimize the occurrence of faults. To bridge the gap between research achievements and industrial development, we present in this paper a framework to support the dependability evaluation of WSNs based on the automated generation of analytical dependability models from high level AADL (Architecture Analysis and Description Language) architecture models. The main objective of this framework is to relieve the end user from a deep knowledge of dependability modeling techniques and evaluation methods, focusing on their knowledge of the behavior and structure of the system.