nach oben

Erschienen in:

2018 | OriginalPaper | Buchkapitel

From SDL Modeling to WSN Simulation for IoT Solutions

verfasst von : Andres Felipe Fuentes Vasquez, Eugenio Tamura

Erschienen in: Applied Computer Sciences in Engineering

Verlag: Springer International Publishing

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

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!

Jetzt informieren

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!

Jetzt informieren

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!

Jetzt informieren

Vorheriges Kapitel Failures Monitoring in Refrigeration Equipment

Nächstes Kapitel 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

Titel: From SDL Modeling to WSN Simulation for IoT Solutions
verfasst von: Andres Felipe Fuentes Vasquez
Eugenio Tamura
Verlag: Springer International Publishing
Buch: Applied Computer Sciences in Engineering
Print ISBN: 978-3-030-00352-4

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

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

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"