Model-based Development for MAC Protocols in Industrial Wireless Sensor Networks

Model-Driven Software Engineering (MDSE) is an approach for design and implementation of software applications, that can be applied across multiple domains. The advantages include rapid prototyping and implementation, along with reduction in errors induced by humans in the process, via automation. Wireless Sensor Actuator Networks (WSANs) rely on resource-constrained hardware and have platform-specific implementations. Medium Access Control (MAC) protocols in particular are mainly responsible for radio communication, the biggest consumer of energy, and are also responsible for Quality of Service (QoS). The design and development of protocols for WSAN could benefit from the use of MDSE. In this article, we use Colured Petri Nets (CPN) for platform independent modeling of protocols, initial verification, and simulation. The PetriCode tool is used to generate platform-specific implementations for multiple platforms, including MiXiM for simulation and TinyOS for deployment. Further the generated code is analyzed via network simulations and real-world deployment test. Through the process of MDSE-based code generation and analysis, the protocol design is validated, verified and analyzed thoroughly. We use the GinMAC protocol as a running example to illustrate the design and development life cycle.

[1]  Jonathan Billington,et al.  A Coloured Petri Net Approach to Protocol Verification , 2003, Lectures on Concurrency and Petri Nets.

[2]  David E. Culler,et al.  TinyOS: An Operating System for Sensor Networks , 2005, Ambient Intelligence.

[3]  Junichi Suzuki,et al.  Model-driven performance engineering for wireless sensor networks with feature modeling and event calculus , 2011, BADS '11.

[4]  Ekkart Kindler,et al.  Generating Protocol Software from CPN Models Annotated with Pragmatics , 2013, SBMF.

[5]  Jordi Cabot,et al.  Model-Driven Software Engineering in Practice , 2017, Synthesis Lectures on Software Engineering.

[6]  David E. Culler,et al.  TOSSIM: accurate and scalable simulation of entire TinyOS applications , 2003, SenSys '03.

[7]  Mark Rouncefield,et al.  Model-driven engineering practices in industry , 2011, 2011 33rd International Conference on Software Engineering (ICSE).

[8]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[9]  James Brown,et al.  Time-Critical Data Delivery in Wireless Sensor Networks , 2010, DCOSS.

[10]  Kent Inge Fagerland Simonsen,et al.  Towards a model-based development approach for wireless sensor-actuator network protocols , 2014, CyPhy '14.

[11]  Lars Michael Kristensen,et al.  Implementation and Deployment Evaluation of the DMAMAC Protocol for Wireless Sensor Actuator Networks , 2016, ANT/SEIT.

[12]  Fernando Losilla,et al.  Applying MDE to the Development of Flexible and Reusable Wireless Sensor Networks , 2007, Int. J. Cooperative Inf. Syst..

[13]  Jorge Sá Silva,et al.  GINSENG: Performance Control in Wireless Sensor Networks , 2010, 2010 7th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks (SECON).

[14]  Lars Michael Kristensen,et al.  Towards a Dual-mode Adaptive MAC Protocol (DMA-MAC) for Feedback-based Networked Control Systems , 2014, FNC/MobiSPC.

[15]  Lars Michael Kristensen,et al.  Simulation-based evaluation of DMAMAC: a dual-mode adaptive mac protocol for process control , 2015, SimuTools.

[16]  Stefan Valentin,et al.  Simulating wireless and mobile networks in OMNeT++ the MiXiM vision , 2008, SimuTools.

[17]  Fernando Losilla,et al.  Wireless Sensor Network Application Development: An Architecture-Centric MDE Approach , 2007, ECSA.

[18]  Paulo F. Pires,et al.  Model-driven approach for building efficient Wireless Sensor and Actuator Network applications , 2013, 2013 4th International Workshop on Software Engineering for Sensor Network Applications (SESENA).

[19]  Henry Muccini,et al.  A model-driven engineering framework for architecting and analysing Wireless Sensor Networks , 2012, 2012 Third International Workshop on Software Engineering for Sensor Network Applications (SESENA).

[20]  Luciano Lavagno,et al.  A Framework for Modeling, Simulation and Automatic Code Generation of Sensor Network Application , 2008, 2008 5th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

[21]  Kenji Tei,et al.  Model driven development for rapid prototyping and optimization of wireless sensor network applications , 2011, SESENA '11.