Towards Model-Driven Simulation of the Internet of Things

The Internet of Things (IoT) refers to the networked interconnection of objects equipped with ubiquitous intelligence, or simply “smart objects”. The “smart” part is often followed by words like grid, home, parking, etc., to identify the application domain, and it is provided by software applications and/or services running on top of these large-scale distributed communication infrastructures. Heterogeneity and distribution scale speak for the complexity of such systems and call for a careful analysis prior to any deployment on target environments. In this paper we introduce a model-driven approach for the analysis of IoT applications via simulation. Standard modeling languages, code generation, and network simulation and visualization are combined into an integrated development environment for rapid and automated analysis.

[1]  Julien Deltour,et al.  Model-Based Testing: An Approach with SDL/RTDS and DIVERSITY , 2014, SAM.

[2]  Emilio Insfran,et al.  Model-Driven Engineering Languages and Systems , 2014, Lecture Notes in Computer Science.

[3]  Christos G. Cassandras,et al.  New “Smart Parking” System Based on Resource Allocation and Reservations , 2013, IEEE Transactions on Intelligent Transportation Systems.

[4]  Joachim Fischer,et al.  Simulation Configuration Modeling of Distributed Communication Systems , 2012, SAM.

[5]  Reinhard German,et al.  SYNTONY: network protocol simulation based on standard-conform UML 2 models , 2007, Valuetools 2007.

[6]  Sarvapali D. Ramchurn,et al.  Putting the 'smarts' into the smart grid , 2012, Commun. ACM.

[7]  Sarah,et al.  DEVELOPMENT USING SPECIFICATION AND DESCRIPTION LANGUAGE – REAL TIME , 2005 .

[8]  Itu-T.  Specification and Description Language (SDL) , 1999 .

[9]  Sally Floyd,et al.  ns-3 project goals , 2006 .

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

[11]  Joachim Fischer,et al.  SDL code generation for network simulators , 2010, SAM'10.

[12]  Jens-Peter Redlich,et al.  A wireless mesh sensing network for early warning , 2012, J. Netw. Comput. Appl..

[13]  Deborah Estrin,et al.  Advances in network simulation , 2000, Computer.

[14]  Emmanuel Gaudin,et al.  Property Verification with MSC , 2013, SDL Forum.

[15]  Rudolf Hornig,et al.  An overview of the OMNeT++ simulation environment , 2008, Simutools 2008.

[16]  Adam Dunkels,et al.  Cross-Level Sensor Network Simulation with COOJA , 2006, Proceedings. 2006 31st IEEE Conference on Local Computer Networks.

[17]  Michele Amoretti,et al.  A simulation platform for large-scale internet of things scenarios in urban environments , 2014, Urb-IoT.

[18]  Reinhard Gotzhein,et al.  Development of Distributed Systems with SDL by Means of Formalized APIs , 2003, SDL Forum.

[19]  Ekkart Rudolph,et al.  Message Sequence Chart (MSC) - A Survey of the new CCITT Language for the Description to Traces within Communications Systems , 1992, FBT.

[20]  Zhou Cheng,et al.  Overview of the Internet of Things , 2011 .

[21]  Joachim Fischer,et al.  Simulation visualization of distributed communication systems , 2012, Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC).

[22]  Alexander Gluhak,et al.  A survey on facilities for experimental internet of things research , 2011, IEEE Communications Magazine.

[23]  Thomas Kuhn,et al.  Model-Driven development with SDL – process, tools, and experiences , 2006, MoDELS'06.

[24]  Liyanage C. De Silva,et al.  State of the art of smart homes , 2012, Eng. Appl. Artif. Intell..

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

[26]  Adam Dunkels,et al.  Contiki - a lightweight and flexible operating system for tiny networked sensors , 2004, 29th Annual IEEE International Conference on Local Computer Networks.

[27]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[28]  Walid Dabbous,et al.  Direct code execution: revisiting library OS architecture for reproducible network experiments , 2013, CoNEXT.

[29]  Andy Lapping.  Model driven development with Ada , 2004 .

[30]  Thomas Kuhn,et al.  ns+SDL - The Network Simulator for SDL Systems , 2005, SDL Forum.