Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks
Issue No.06 - June (2012 vol.61)
Marcello Cinque , University of Naples Federico II, Naples
Domenico Cotroneo , University of Naples Federico II, Naples
Catello Di Martino , University of Naples Federico II, Naples
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/TC.2011.96
Wireless Sensor Networks (WSNs) are widely recognized as a promising solution to build next-generation monitoring systems. Their industrial uptake is however still compromised by the low level of trust on their performance and dependability. Whereas analytical models represent a valid mean to assess nonfunctional properties via simulation, their wide use is still limited by the complexity and dynamicity of WSNs, which lead to unaffordable modeling costs. To reduce this gap between research achievements and industrial development, this paper presents a framework for the assessment of WSNs based on the automated generation of analytical models. The framework hides modeling details, and it allows designers to focus on simulation results to drive their design choices. Models are generated starting from a high-level specification of the system and by a preliminary characterization of its fault-free behavior, using behavioral simulators. The benefits of the framework are shown in the context of two case studies, based on the wireless monitoring of civil structures.
Wireless sensor networks dependability, assessment framework, stochastic activity networks, WSN design.
Marcello Cinque, Domenico Cotroneo, Catello Di Martino, "Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks", IEEE Transactions on Computers, vol.61, no. 6, pp. 870-884, June 2012, doi:10.1109/TC.2011.96