Abstract
Both the Internet of Things (IoT) and Wireless Sensor Networks (WSN) are technologies characterized by integrating heterogeneous devices with low processing and storage capabilities and power consumption efficiency. The increasing number of operating systems and hardware platforms available for IoT applications suggests the need of developing a simple and agile approach which allows that specifications can be easily converted into executable code for simulation and implementation thus easing validation and verification of requirements. This involves the design, development, testing, and deployment phases. This paper proposes an integration scheme through which IoT solutions based on WSN can be designed using Specification and Description Language (SDL), and then translated directly into code for IoT-oriented operating systems like Contiki. The main goals are to quickly adjust the designs, and execute tests on different hardware-software configurations, thus reducing errors along the life cycle.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Advanticsys: MTM-CM5000-MSP. https://www.advanticsys.com/shop/mtmcm5000msp-p-14.html
Ammar, N., Chaieb, H.: From modeling with SysML to simulation with Contiki Cooja simulator of wireless sensor networks. In: 30th International Conference on Advanced Information Networking and Applications Workshops, pp. 760–765 (2016)
Berthomieu, B., Bodeveix, J.P.: Fiacre: an intermediate language for model verification in the topcased environment. In: ERTS (2008)
Bozga, M., Graf, S., Mounier, L.: IF-2.0: a validation environment for component-based real-time systems. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 343–348. Springer, Heidelberg (2002). https://doi.org/10.1007/3-540-45657-0_26
Braun, T., Christmann, D., Gotzhein, R., Mater, A.: SDL implementations for wireless sensor networks – incorporation of PragmaDev’s RTDS into the deterministic protocol stack BiPS. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 271–286. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11743-0_19
Chaparadza, R., Prakash, A.: The role of SDL in the design, simulation, validation of system models, and code-generation, in the recently emerged and growing domain of autonomic systems engineering. In: IEEE Globecom, pp. 1013–1018 (2013)
Cheong, E., Lee, E.A.: Joint modeling and design of wireless networks and sensor node software. EECS Department, University of California (2006)
Deltour, J., Faivre, A., Gaudin, E., Lapitre, A.: Model-based testing: an approach with SDL/RTDS and DIVERSITY. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 198–206. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-11743-0_14
Dunkels, A., Gronvall, B.: Contiki - a lightweight and flexible operating system for tiny networked sensors. In: 29th Annual IEEE International Conference on Local Computer Networks, pp. 455–462 (2004)
Eriksson, J., Österlind, F.: COOJA/MSPSim: interoperability testing for wireless sensor networks. In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques (2009)
IEEE: IEEE Std 802.15.4 - IEEE Standard for Low-Rate Wireless Networks. https://standards.ieee.org/findstds/standard/802.15.4-2015.html
International Telecommunication Union: Specification and Description Language, Recommendation Z.100. https://www.itu.int/rec/T-REC-Z.100/en
Lucero, S., et al.: IoT platforms: enabling the Internet of Things. IHS Technology white paper (2016)
Mozumdar, M.M.R., Gregoretti, F.: A framework for modeling, simulation and automatic code generation of sensor network application. In: Sensor, Mesh and Ad Hoc Communications and Networks, pp. 515–522. IEEE (2008)
PragmaDev: PragmaDev Studio Reference Manual. www.pragmadev.com/downloads/Manuals/RefManual.pdf
Seungjun, Y., Hyojung, J.: Issues and implementation strategies of the IoT industry. In: 10th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing, pp. 503–508 (2016)
Stecklein, J.M., Dabney, J., Dick, B., Haskins, B., Lovell, R., Moroney, G.: Error cost escalation through the project life cycle (2004)
Villa, J., Serna, D., Aedo, J.: System-C code generation from UML for wireless sensor networks design. In: International Conference on Modeling, Simulation and Visualization Methods, MSV, vol. 11, pp. 53–60 (2011)
Wan, J., Tang, S.: Software-defined industrial internet of things in the context of industry 4.0. IEEE Sens. J. 16(20), 7373–7380 (2016)
Acknowledgement
The authors would like to acknowledge the cooperation of the team at Centro de Excelencia y Apropiación en Internet de las Cosas – Nodo Occidente. The CEA-IoT (www.cea-iot.org) is supported by the following institutions: the Colombian Ministry for the Information and Communications Technology (Ministerio de Tecnologías de la Información y las Comunicaciones - MinTIC) and the Colombian Administrative Department of Science, Technology and Innovation (Departamento Administrativo de Ciencia, Tecnología e Innovación - Colciencias) through the Fondo Nacional de Financiamiento para la Ciencia, la Tecnología y la Innovación Francisco José de Caldas (Project ID: FP44842-502-2015).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Fuentes Vasquez, A.F., Tamura, E. (2018). From SDL Modeling to WSN Simulation for IoT Solutions. In: Figueroa-García, J., Villegas, J., Orozco-Arroyave, J., Maya Duque, P. (eds) Applied Computer Sciences in Engineering. WEA 2018. Communications in Computer and Information Science, vol 916. Springer, Cham. https://doi.org/10.1007/978-3-030-00353-1_13
Download citation
DOI: https://doi.org/10.1007/978-3-030-00353-1_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-00352-4
Online ISBN: 978-3-030-00353-1
eBook Packages: Computer ScienceComputer Science (R0)