Top

Published in:

2018 | OriginalPaper | Chapter

From SDL Modeling to WSN Simulation for IoT Solutions

Authors : Andres Felipe Fuentes Vasquez, Eugenio Tamura

Published in: Applied Computer Sciences in Engineering

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config

AI-assisted search

Off

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.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

inform now

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

inform now

previous chapter Failures Monitoring in Refrigeration Equipment

next chapter Design and Implementation of a Laboratory Sample Collection System Using an Unmanned Aerial Vehicle (UAV)

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_26CrossRef

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_19CrossRef

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_14CrossRef

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)

10.

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)

11.

IEEE: IEEE Std 802.15.4 - IEEE Standard for Low-Rate Wireless Networks. https://standards.ieee.org/findstds/standard/802.15.4-2015.html

12.

International Telecommunication Union: Specification and Description Language, Recommendation Z.100. https://www.itu.int/rec/T-REC-Z.100/en

13.

Lucero, S., et al.: IoT platforms: enabling the Internet of Things. IHS Technology white paper (2016)

14.

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)

15.

PragmaDev: PragmaDev Studio Reference Manual. www.pragmadev.com/downloads/Manuals/RefManual.pdf

16.

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)

17.

Stecklein, J.M., Dabney, J., Dick, B., Haskins, B., Lovell, R., Moroney, G.: Error cost escalation through the project life cycle (2004)

18.

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)

19.

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)CrossRef

Title: From SDL Modeling to WSN Simulation for IoT Solutions
Authors: Andres Felipe Fuentes Vasquez
Eugenio Tamura
Publisher: Springer International Publishing
Book: Applied Computer Sciences in Engineering
Print ISBN: 978-3-030-00352-4

Electronic ISBN: 978-3-030-00353-1

Copyright Year: 2018
DOI: https://doi.org/10.1007/978-3-030-00353-1_13

Springer Professional

Abstract

Please log in to get access to your license.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Premium Partner