Runtime model based approach to IoT application development

Abstract

The internet of things (IoT) attracts great interest in many application domains concerned with monitoring and control of physical phenomena. However, application development is still one of the main hurdles to a wide adoption of IoT technology. Application development is done at a low level, very close to the operating system and requires programmers to focus on low-level system issues. The underlying APIs can be very complicated and the amount of data collected can be huge. This can be very hard to deal with as a developer. In this paper, we present a runtime model based approach to IoT application development. First, the manageability of sensor devices is abstracted as runtime models that are automatically connected with the corresponding systems. Second, a customized model is constructed according to a personalized application scenario and the synchronization between the customized model and sensor device runtime models is ensured through model transformation. Thus, all the application logic can be carried out by executing programs on the customized model. An experiment on a real-world application scenario demonstrates the feasibility, effectiveness, and benefits of the new approach to IoT application development.

Keywords

application development / software architecture / models at runtime

References

[1] Atzori L, Iera A, Morabito G. The Internet of things: a survey. Computer Networks, 2010, 54(15): 2787―2805

[2] Garlan D. Software architecture: a roadmap. In: Proceedings of the 22nd International Conference on Software Engineering. 2000, 91―101

[3] Mei H, Shen J R. Progress of research on software architecture. Journal of Software, 2006, 17(6): 1257―1275

[4] France R, Rumpe B. Model-driven development of complex software: a research roadmap. In: Proceedings of the 29th International Conference on Software Engineering. 2007, 37―54

[5] Huang G, Ma X X, Tsai W T. A new software paradigm for internet computing. National Science Review, 2014, 1(2): 168―169

[6] Bencomo N, Blair G, France R. Summary of the workshop models@ run.time at MoDELS 2006. Lecture Notes in Computer Science, 2007, 4364: 227―231

[7] Blair G, Bencomo N, France R B. [e-mail]. Computer, 2009, 42(10): 22―27

[8] Huang G, Mei H, Yang F Q. Runtime recovery and manipulation of software architecture of component-based systems. Automated Software Engineering, 2006, 13(2): 257―281

[9] Occello A, Dery-pinna A, Riveill M. A runtime model for monitoring software adaptation safety and its concretisation as a service. Models@ runtime, 2008, 8: 67―76

[10] Wu Y H, Huang G, Song H, Zhang Y. Model driven configuration of fault tolerance solutions for component-based software system. In: Proceedings of the 15th International Conference on Model Driven Engineering Languages and Systems. 2012, 514―530

[11] Rushby J. Model checking and other ways of automating formal methods. Position paper for panel on Model Checking for Concurrent Programs, Software Quality Week. 1995, 1―12

[12] Huang G, Song H, Mei H. SM@RT: applying architecture-based runtime management of internetware systems. International Journal of Software and Informatics, 2009, 3(4): 439―464

[13] Song H, Huang G, Chauvel F, Xiong Y F, Hu Z J, Sun Y C, Mei H. Supporting runtime software architecture: a bidirectional-transformationbased approach. Journal of Systems and Software, 2011, 84(5): 711―723

[14] Song H, Xiong Y F, Chauvel F, Huang G, Hu Z J, Mei H. Generating synchronization engines between running systems and their modelbased views. Models in Software Engineering, 2009, 140―154

[15] Song H, Huang G, Xiong Y F, Chauvel F, Sun Y C, Mei H. Inferring meta-models for runtime system data from the clients of management APIs. In: Proceedings of the 13rd International Conference on Model Driven Engineering Languages and Systems. 2010, 168―182

[16] Zhang W, Song H, Huang G. Object oriented accessing approach for wireless sensor network devices and data. Journal of Frontiers of Computer Science and Technology, 2011, 5(12): 1076―1084

[17] Mottola L, Picco G P. Programming wireless sensor networks: fundamental concepts and state of the art. ACM Computing Surveys, 2011, 43(3): 19

[18] Gay D, Levis P, Behren R V, Welsh M, Brewer E, Culler D. The nesC language: a holistic approach to networked embedded systems. In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. 2003, 1―11

[19] Madden S R, Franklin M J, Hellerstein J M, Hong W. Tinydb: an acquisitional query processing system for sensor networks. ACM Transactions on Database Systems, 2005, 30(1): 122―173

[20] Spiess P, Karnouskos S, Guinard D, Savio D, Baecker O, Souza L, Trifa V. Soa-based integration of the internet of things in enterprise services. In: Proceedings of IEEE International Conference on Web Services. 2009, 968―975

[21] Janowicz K, Broring A, Stasch C, Schade S, Everding T, Llaves A. A restful proxy and data model for linked sensor data. International Journal of Digital Earth, 2013, 6(3): 233―254

[22] Beckmann K, Thoss M. A model-driven software development approach using OMG DDS for wireless sensor networks. Software Technologies for Embedded and Ubiquitous Systems, 2010, 95―106

[23] Losilla F, Vicente-chicote C, Alvarez B, Iborra R, Sanchez P. Wireless sensor network application development: an architecture-centric MDE approach. Software Architecture, 2007, 179―194

[24] Akbal-delibas B, Boonma P, Suzuki J. Extensible and precise modeling for wireless sensor networks. Information Systems: Modeling, Development, and Integration, 2009, 551―562

[25] Thang N X, Geihs K. Model-driven development with optimization of non-functional constraints in sensor network. In: Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications. 2010, 61―65

[26] Shimizu R, Tei K, Fukazawa Y, Honiden S. Model-driven development for rapid prototyping and optimization of wireless sensor network applications. In: Proceedings of the 2nd Workshop on Software Engineering for Sensor Network Applications. 2011, 31―36

[27] Rodrigues T, Dantas P, Delicato F C, Pires P F, Pirmez L, Batista T, Miceli C, Zomaya A. Model-driven development of wireless sensor network applications. In: Proceedings of the 9th IFIP International Conference on Embedded and Ubiquitous Computing. 2011, 11―18

[28] Sicard S, Boyer F, Palma N D. Using components for architecturebased management: the self-repair case. In: Proceedings of the 30th International Conference on Software Engineering. 2008, 101―110

[29] Morin B, Barais O, Nain G, Jezequel J. Taming dynamically adaptive systems using models and aspects. In: Proceedings of the 31st International Conference on Software Engineering. 2009, 122―132

[30] Yang J, Huang G, Zhu W H, Cui X F, Mei H. Quality attribute tradeoff through adaptive architectures at runtime. Journal of Systems and Software, 2009, 82(2): 319―332

[31] Mei H, Huang G, Lan L, Li J G. A software architecture centric selfadaptation approach for internet-ware. Science in China Series F: Information Sciences, 2008, 51(6): 722―742

[32] Li Y, Sun K W, Yang J, Liu T C, Zeng L Z. Model-based system configuration approach for internetware. Science China Information Sciences, 2013, 56(8): 1―20

[33] Chen X P, Huang G, Chauvel F, Sun Y C, Mei H. A framework for the integration of MOF-compliant analysis methods. In: Proceedings of the 2nd Asia-Pacific Symposium on Internetware. 2010, 1―10

[34] Li J G, Chen X P, Huang G, Mei H, Chauvel F. Selecting fault tolerant styles for third-party components with model checking support. In: Proceedings of the 12th International Symposium on Component-Based Software Engineering. 2009, 69―86

[35] Huang G, Chen X, Zhang Y, Zhang X D. Towards architecture-based management of platforms in the cloud. Frontiers of Computer Science, 2012, 6(4): 388―397

RIGHTS & PERMISSIONS

Higher Education Press and Springer-Verlag Berlin Heidelberg