{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T04:10:06Z","timestamp":1751861406145,"version":"3.41.0"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030003524"},{"type":"electronic","value":"9783030003531"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-00353-1_13","type":"book-chapter","created":{"date-parts":[[2018,9,12]],"date-time":"2018-09-12T18:13:10Z","timestamp":1536775990000},"page":"147-160","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["From SDL Modeling to WSN Simulation for IoT Solutions"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4687-9316","authenticated-orcid":false,"given":"Andres Felipe","family":"Fuentes Vasquez","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1718-1691","authenticated-orcid":false,"given":"Eugenio","family":"Tamura","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,13]]},"reference":[{"unstructured":"Advanticsys: MTM-CM5000-MSP. https:\/\/www.advanticsys.com\/shop\/mtmcm5000msp-p-14.html","key":"13_CR1"},{"doi-asserted-by":"crossref","unstructured":"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\u2013765 (2016)","key":"13_CR2","DOI":"10.1109\/WAINA.2016.64"},{"doi-asserted-by":"crossref","unstructured":"Berthomieu, B., Bodeveix, J.P.: Fiacre: an intermediate language for model verification in the topcased environment. In: ERTS (2008)","key":"13_CR3","DOI":"10.1007\/978-3-642-01924-1_15"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/3-540-45657-0_26","volume-title":"Computer Aided Verification","author":"M Bozga","year":"2002","unstructured":"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\u2013348. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45657-0_26"},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-319-11743-0_19","volume-title":"System Analysis and Modeling: Models and Reusability","author":"T Braun","year":"2014","unstructured":"Braun, T., Christmann, D., Gotzhein, R., Mater, A.: SDL implementations for wireless sensor networks \u2013 incorporation of PragmaDev\u2019s RTDS into the deterministic protocol stack BiPS. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds.) SAM 2014. LNCS, vol. 8769, pp. 271\u2013286. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11743-0_19"},{"doi-asserted-by":"crossref","unstructured":"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\u20131018 (2013)","key":"13_CR6","DOI":"10.1109\/GLOCOMW.2013.6825124"},{"unstructured":"Cheong, E., Lee, E.A.: Joint modeling and design of wireless networks and sensor node software. EECS Department, University of California (2006)","key":"13_CR7"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-319-11743-0_14","volume-title":"System Analysis and Modeling: Models and Reusability","author":"J Deltour","year":"2014","unstructured":"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\u2013206. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-11743-0_14"},{"doi-asserted-by":"crossref","unstructured":"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\u2013462 (2004)","key":"13_CR9","DOI":"10.1109\/LCN.2004.38"},{"doi-asserted-by":"crossref","unstructured":"Eriksson, J., \u00d6sterlind, F.: COOJA\/MSPSim: interoperability testing for wireless sensor networks. In: Proceedings of the 2nd International Conference on Simulation Tools and Techniques (2009)","key":"13_CR10","DOI":"10.4108\/ICST.SIMUTOOLS2009.5637"},{"unstructured":"IEEE: IEEE Std 802.15.4 - IEEE Standard for Low-Rate Wireless Networks. https:\/\/standards.ieee.org\/findstds\/standard\/802.15.4-2015.html","key":"13_CR11"},{"unstructured":"International Telecommunication Union: Specification and Description Language, Recommendation Z.100. https:\/\/www.itu.int\/rec\/T-REC-Z.100\/en","key":"13_CR12"},{"unstructured":"Lucero, S., et al.: IoT platforms: enabling the Internet of Things. IHS Technology white paper (2016)","key":"13_CR13"},{"doi-asserted-by":"crossref","unstructured":"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\u2013522. IEEE (2008)","key":"13_CR14","DOI":"10.1109\/SAHCN.2008.68"},{"unstructured":"PragmaDev: PragmaDev Studio Reference Manual. www.pragmadev.com\/downloads\/Manuals\/RefManual.pdf","key":"13_CR15"},{"doi-asserted-by":"crossref","unstructured":"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\u2013508 (2016)","key":"13_CR16","DOI":"10.1109\/IMIS.2016.52"},{"unstructured":"Stecklein, J.M., Dabney, J., Dick, B., Haskins, B., Lovell, R., Moroney, G.: Error cost escalation through the project life cycle (2004)","key":"13_CR17"},{"unstructured":"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\u201360 (2011)","key":"13_CR18"},{"issue":"20","key":"13_CR19","doi-asserted-by":"publisher","first-page":"7373","DOI":"10.1109\/JSEN.2016.2581491","volume":"16","author":"J Wan","year":"2016","unstructured":"Wan, J., Tang, S.: Software-defined industrial internet of things in the context of industry 4.0. IEEE Sens. J. 16(20), 7373\u20137380 (2016)","journal-title":"IEEE Sens. J."}],"container-title":["Communications in Computer and Information Science","Applied Computer Sciences in Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00353-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,7]],"date-time":"2025-07-07T03:43:41Z","timestamp":1751859821000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00353-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030003524","9783030003531"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00353-1_13","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2018]]}}}