Towards a model-based development approach for wireless sensor-actuator network protocols

Model-Driven Software Engineering (MDSE) is a promising approach for the development of applications, and has been well adopted in the embedded applications domain in recent years. Wireless Sensor Actuator Networks consisting of resource constrained hardware and platform-specific operating system is one application area where the advantages of MDSE can be exploited. Code-generation is an integral part of MDSE, and using a multi-platform code generator as a part of the approach has several advantages. Due to the automated code-generation, it is possible to obtain time reduction and prevent errors induced due to manual translations. With the use of formal semantics in the modeling approach, we can further ensure the correctness of the source model by means of verification. Also, with the use of network simulators and formal modeling tools, we obtain a verified and validated model to be used as a basis for code-generation. The aim is to build protocols with shorter design to implementation time and efforts, along with higher confidence in the protocol designed.

[1]  Kurt Geihs,et al.  Model driven development for data-centric sensor network applications , 2011, MoMM '11.

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

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

[4]  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.

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

[6]  Marta Z. Kwiatkowska,et al.  PRISM 4.0: Verification of Probabilistic Real-Time Systems , 2011, CAV.

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

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

[9]  Kim G. Larsen,et al.  Statistical Model Checking for Networks of Priced Timed Automata , 2011, FORMATS.

[10]  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).

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

[12]  Lars Michael Kristensen,et al.  Transforming Platform Independent CPN Models into Code for the TinyOS Platform: A Case Study of the RPL Protocol , 2013, PNSE+ModPE.

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

[14]  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).

[15]  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.

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

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

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