A Compositional Modelling Approach for Large Sensor Networks Design

Sensor Networks are required to be properly designed in order to avoid resource waste and optimize their lifetime. Large monitoring applications require proper methodologies and tools supporting the design, when multiple solutions increase the complexity of this task. Indeed, different parameters affect the performance of a solution, as node distribution, sensing coverage, battery usage, etc. A compositional modelling approach can provide early measures, allowing to evaluate and compare different solutions since the design phase. The main contribution of the paper is the definition of a general modelling framework to integrate simple models representing the main components and features of sensor networks. A library for specific sensor devices have been developed, using the Stochastic Activity Network (SAN) formalism. This approach is shown to be compositional since the creation of complex networks can be accomplished by simple subcomponents aggregation. With this approach, obtained models can analyse the dynamic evolution of the overall network, even if complex. First experimental results are also reported and discussed.

[1]  Kay Römer,et al.  The design space of wireless sensor networks , 2004, IEEE Wireless Communications.

[2]  Antonino Mazzeo,et al.  A Reference Architecture for Sensor Networks Integration and Management , 2009, GSN.

[3]  Jalel Ben-Othman,et al.  Performance evaluation of a hybrid MAC protocol for wireless sensor networks , 2010, MSWIM '10.

[4]  Roberto Nardone,et al.  A simulation framework for supporting design and real-time decisional phases in railway systems , 2011, 2011 14th International IEEE Conference on Intelligent Transportation Systems (ITSC).

[5]  Domenico Cotroneo,et al.  Automated Generation of Performance and Dependability Models for the Assessment of Wireless Sensor Networks , 2012, IEEE Transactions on Computers.

[6]  Stefano Marrone,et al.  A SAN-Based Modeling Approach to Performance Evaluation of an IMS-Compliant Conferencing Framework , 2012, Trans. Petri Nets Other Model. Concurr..

[7]  William H. Sanders,et al.  Stochastic Activity Networks: Formal Definitions and Concepts , 2002, European Educational Forum: School on Formal Methods and Performance Analysis.

[8]  Antonino Mazzeo,et al.  SeNsIM-SEC: Security in Heterogeneous Sensor Networks , 2011, 2011 Conference on Network and Information Systems Security.

[9]  Prabir Bhattacharya,et al.  Wireless Sensor Network Simulators A Survey and Comparisons , 2011 .

[10]  Nicola Mazzocca,et al.  Analysis and Comparison of Security Protocols in Wireless Sensor Networks , 2011, 2011 IEEE 30th Symposium on Reliable Distributed Systems Workshops.

[11]  Roberto Nardone,et al.  Estimation of the Energy Consumption of Mobile Sensors in WSN Environmental Monitoring Applications , 2013, 2013 27th International Conference on Advanced Information Networking and Applications Workshops.

[12]  Marco Beccuti,et al.  Multiple abstraction levels in performance analysis of WSN monitoring systems , 2009, VALUETOOLS.

[13]  Yifeng Zhu,et al.  Energy Modeling of Processors in Wireless Sensor Networks Based on Petri Nets , 2008, 2008 International Conference on Parallel Processing - Workshops.

[14]  Ian F. Akyildiz,et al.  Wireless sensor networks: a survey , 2002, Comput. Networks.

[15]  Mikko Sallinen,et al.  Survey of Wireless Sensor Networks Simulation Tools for Demanding Applications , 2009, 2009 Fifth International Conference on Networking and Services.