{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T04:03:47Z","timestamp":1748837027426,"version":"3.41.0"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319296425"},{"type":"electronic","value":"9783319296432"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-29643-2_2","type":"book-chapter","created":{"date-parts":[[2016,1,25]],"date-time":"2016-01-25T05:02:37Z","timestamp":1453698157000},"page":"17-29","source":"Crossref","is-referenced-by-count":11,"title":["Towards Model-Driven Simulation of the Internet of Things"],"prefix":"10.1007","author":[{"given":"Mihal","family":"Brumbulli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emmanuel","family":"Gaudin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,26]]},"reference":[{"key":"2_CR1","doi-asserted-by":"crossref","unstructured":"Brambilla, G., Picone, M., Cirani, S., Amoretti, M., Zanichelli, F.: A Simulation Platform for Large-scale Internet of Things Scenarios in Urban Environments. In: Kawsar, F., Blanke, U., Mashhadi, A.J., Altakrouri, B. (eds.) The First International Conference on IoT in Urban Space. pp. 50\u201355. Urb-IoT \u201814, ICST (2014)","DOI":"10.4108\/icst.urb-iot.2014.257268"},{"issue":"5","key":"2_CR2","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1109\/2.841785","volume":"33","author":"L Breslau","year":"2000","unstructured":"Breslau, L., Estrin, D., Fall, K.R., Floyd, S., Heidemann, J.S., Helmy, A., Huang, P., McCanne, S., Varadhan, K., Xu, Y., Yu, H.: Advances in network simulation. IEEE Comput. 33(5), 59\u201367 (2000)","journal-title":"IEEE Comput."},{"key":"2_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"144","DOI":"10.1007\/978-3-642-21652-7_9","volume-title":"System Analysis and Modeling: About Models","author":"M Brumbulli","year":"2011","unstructured":"Brumbulli, M., Fischer, J.: SDL Code Generation for Network Simulators. In: Kraemer, F., Herrmann, P. (eds.) System Analysis and Modeling: About Models. Lecture Notes in Computer Science, vol. 6598, pp. 144\u2013155. Springer, Berlin\/ Heidelberg (2011)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Brumbulli, M., Fischer, J.: Simulation Visualization of Distributed Communication Systems. In: Rose, O., Uhrmacher, A.M. (eds.) Proceedings of the 2012 Winter Simulation Conferenc, pp. 248:1\u2013248:12. WSC \u201812, IEEE (2012)","DOI":"10.1109\/WSC.2012.6465021"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-642-36757-1_12","volume-title":"System Analysis and Modeling: Theory and Practice","author":"M Brumbulli","year":"2013","unstructured":"Brumbulli, M., Fischer, J.: Simulation Configuration Modeling of Distributed Communication Systems. In: Haugen, \u00d8., Reed, R., Gotzhein, R. (eds.) System Analysis and Modeling: Theory and Practice. Lecture Notes in Computer Science, vol. 7744, pp. 198\u2013211. Springer, Berlin Heidelberg (2013)"},{"key":"2_CR6","doi-asserted-by":"crossref","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.) System Analysis and Modeling: Models and Reusability, Lecture Notes in Computer Science, vol. 8769, pp. 198\u2013206. Springer International Publishing (2014)","DOI":"10.1007\/978-3-319-11743-0_14"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Dietrich, I., Dressler, F., Schmitt, V., German, R.: Syntony: Network Protocol Simulation Based on Standard-Conform UML 2 Models. In: Glynn, P. (ed.) Proceedings of the 2nd International Conference on Performance Evaluation Methodologies and Tools. pp. 21:1\u201321:11. ValueTools \u201807, ICST, Brussels, Belgium (2007)","DOI":"10.4108\/nstools.2007.2016"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Dunkels, A., Gr\u00f6nvall, B., Voigt, T.: Contiki: A Lightweight and Flexible Operating System for Tiny Networked Sensors. In: Proceedings of 29th Annual IEEE International Conference on Local Computer Networks. pp. 455\u2013462. LCN \u201804. IEEE Computer Society (2004)","DOI":"10.1109\/LCN.2004.38"},{"key":"2_CR9","unstructured":"ETSI: Machine-to-Machine communications (M2M); Functional architecture. ETSI Technical Specification TS 102 690, European Telecommunications Standards Institute. http:\/\/www.etsi.org\/deliver\/etsi_ts\/102600_102699\/102690\/02.01.01_60 (2013)"},{"issue":"2","key":"2_CR10","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1016\/j.jnca.2011.07.016","volume":"35","author":"J Fischer","year":"2012","unstructured":"Fischer, J., Redlich, J.P., Zschau, J., Milkereit, C., Picozzi, M., Fleming, K., Brumbulli, M., Lichtblau, B., Eveslage, I.: A wireless mesh sensing network for early warning. J. Netw. Comput. Appl. 35(2), 538\u2013547 (2012)","journal-title":"J. Netw. Comput. Appl."},{"key":"2_CR11","unstructured":"Gartner Inc.: Gartner says the Internet of Things installed base will grow to 26 billion units by 2020. http:\/\/www.gartner.com\/newsroom\/id\/2636073 (2013)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/978-3-642-38911-5_2","volume-title":"SDL 2013: Model-Driven Dependability Engineering","author":"E Gaudin","year":"2013","unstructured":"Gaudin, E., Brunel, E.: Property Verification with MSC. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013: Model-Driven Dependability Engineering. Lecture Notes in Computer Science, vol. 7916, pp. 19\u201335. Springer, Berlin Heidelberg (2013)"},{"issue":"3","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1129","DOI":"10.1109\/TITS.2013.2252428","volume":"14","author":"Y Geng","year":"2013","unstructured":"Geng, Y., Cassandras, C.: New \u201csmart parking\u201d system based on resource allocation and reservations. IEEE Trans. Intell. Transp. Syst. 14(3), 1129\u20131139 (2013)","journal-title":"IEEE Trans. Intell. Transp. Syst."},{"issue":"11","key":"2_CR14","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MCOM.2011.6069710","volume":"49","author":"A Gluhak","year":"2011","unstructured":"Gluhak, A., Krco, S., Nati, M., Pfisterer, D., Mitton, N., Razafindralambo, T.: A survey on facilities for experimental internet of things research. IEEE Commun. Mag. 49(11), 58\u201367 (2011)","journal-title":"IEEE Commun. Mag."},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Henderson, T.R., Roy, S., Floyd, S., Riley, G.F.: ns-3 Project Goals. In: Proceedings of the 2006 Workshop on ns-2: The IP Network Simulator. p. 9. WNS2 \u201806. ACM, New York (2006)","DOI":"10.1145\/1190455.1190468"},{"key":"2_CR16","unstructured":"IEEE: IEEE Standard for Local and metropolitan area networks\u2014Part 15.4: Low-Rate Wireless Personal Area Networks (LR-WPANs). IEEE Standard 802.15.4, Institute of Electrical and Electronics Engineers. http:\/\/standards.ieee.org\/findstds\/standard\/802.15.4-2011.html (2011)"},{"key":"2_CR17","unstructured":"IETF: Compression Format for IPv6 Datagrams over IEEE 802.15.4-Based Networks. Standards Track RFC 6282, Internet Engineering Task Force. http:\/\/www.rfc-editor.org\/info\/rfc6282 (2011)"},{"key":"2_CR18","unstructured":"ITU-T: Message Sequence Chart (MSC). ITU-T Recommendation Z.120, International Telecommunication Union\u2014Telecommunication Standardization Sector. http:\/\/www.itu.int\/rec\/T-REC-Z.120\/en (2002)"},{"key":"2_CR19","unstructured":"ITU-T: Specification and Description Language\u2014Overview of SDL-2010. ITU-T Recommendation Z.100, International Telecommunication Union\u2014Telecommunication Standardization Sector. http:\/\/www.itu.int\/rec\/T-REC-Z.100\/en (2011)"},{"key":"2_CR20","unstructured":"ITU-T: Overview of the Internet of Things. ITU-T Recommendation Y.2060, International Telecommunication Union\u2014Telecommunication Standardization Sector. http:\/\/handle.itu.int\/11.1002\/1000\/11559 (2012)"},{"key":"2_CR21","unstructured":"ITU-T: Testing and Test Control Notation version 3: TTCN-3 core language. ITU-T Recommendation Z.161, International Telecommunication Union\u2014Telecommunication Standardization Sector. http:\/\/www.itu.int\/rec\/T-REC-Z.161\/en (2014)"},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/11880240_7","volume-title":"Model Driven Engineering Languages and Systems","author":"T Kuhn","year":"2006","unstructured":"Kuhn, T., Gotzhein, R., Webel, C.: Model-Driven Development with SDL: Process, Tools, and Experiences. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) Model Driven Engineering Languages and Systems. Lecture Notes in Computer Science, vol. 4199, pp. 83\u201397. Springer, Berlin Heidelberg (2006)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","first-page":"1166","volume-title":"SDL 2005: Model Driven","author":"T Kuhn","year":"2005","unstructured":"Kuhn, T., Geraldy, A., Gotzhein, R., Rothl\u00e4nder, F.: ns\u00a0+\u00a0SDL: The Network Simulator for SDL Systems. In: Prinz, A., Reed, R., Reed, J. (eds.) SDL 2005: Model Driven. Lecture Notes in Computer Science, vol. 3530, pp. 1166\u20131170. Springer, Berli (2005)"},{"key":"2_CR24","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1007\/3-540-27139-2_7","volume-title":"Ambient Intelligence","author":"P Levis","year":"2005","unstructured":"Levis, P., Madden, S., Polastre, J., Szewczyk, R., Whitehouse, K., Woo, A., Gay, D., Hill, J., Welsh, M., Brewer, E., Culler, D.: TinyOS: An Operating System for Sensor Networks. In: Weber, W., Rabaey, J., Aarts, E. (eds.) Ambient Intelligence, pp. 115\u2013148. Springer, Berlin (2005)"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Levis, P., Lee, N., Welsh, M., Culler, D.: TOSSIM: Accurate and Scalable Simulation of Entire TinyOS Applications. In: Akyildiz, I.F., Estrin, D., Culler, D.E., Srivastava, M.B. (eds.) Proceedings of the 1st International Conference on Embedded Networked Sensor Systems. pp. 126\u2013137. SenSys \u201803. ACM, New York (2003)","DOI":"10.1145\/958491.958506"},{"key":"2_CR26","unstructured":"OMG: OMG Unified Modeling Language (OMG UML), Superstructure. Version 2.4.1. OMG Standard, Object Management Group (2011)"},{"key":"2_CR27","doi-asserted-by":"crossref","unstructured":"\u00d6sterlind, F., Dunkels, A., Eriksson, J., Finne, N., Voigt, T.: Cross-Level Sensor Network Simulation with COOJA. In: Proceedings of the 31st IEEE Conference on Local Computer Networks. pp. 641\u2013648. LCN \u201806. IEEE Computer Society (2006)","DOI":"10.1109\/LCN.2006.322172"},{"issue":"4","key":"2_CR28","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1145\/2133806.2133825","volume":"55","author":"SD Ramchurn","year":"2012","unstructured":"Ramchurn, S.D., Vytelingum, P., Rogers, A., Jennings, N.R.: Putting the \u2018smarts\u2019 into the smart grid: a grand challenge for artificial intelligence. Commun. ACM 55(4), 86\u201397 (2012)","journal-title":"Commun. ACM"},{"key":"2_CR29","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1007\/3-540-45075-0_19","volume-title":"SDL 2003: System Design","author":"Philipp Schaible","year":"2003","unstructured":"Schaible, P., Gotzhein, R.: Development of Distributed Systems with SDL by Means of Formalized APIs. In: Reed, R., Reed, J. (eds.) SDL 2003: System Design. Lecture Notes in Computer Science, vol. 2708, pp. 158\u2013158. Springer, Berlin (2003)"},{"key":"2_CR30","unstructured":"SDL-RT Consortium: Specification and Description Language\u2014Real Time. SDL-RT Standard V2.3, SDL-RT Consortium. http:\/\/www.sdl-rt.org\/standard\/V2.3\/html\/index.htm (2013)"},{"issue":"5","key":"2_CR31","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19\u201325 (2003)","journal-title":"IEEE Softw."},{"issue":"7","key":"2_CR32","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1016\/j.engappai.2012.05.002","volume":"25","author":"LCD Silva","year":"2012","unstructured":"Silva, L.C.D., Morikawa, C., Petra, I.M.: State of the art of smart homes. Eng. Appl. Artif. Intell. 25(7), 1313\u20131321 (2012)","journal-title":"Eng. Appl. Artif. Intell."},{"key":"2_CR33","doi-asserted-by":"crossref","unstructured":"Tazaki, H., Urbani, F., Mancini, E., Lacage, M., C\u00e2mara, D., Turletti, T., Dabbous, W.: Direct Code Execution: Revisiting Library OS Architecture for Reproducible Network Experiments. In: Almeroth, K.C., Mathy, L., Papagiannaki, K., Misra, V. (eds.) Proceedings of the 9th ACM Conference on Emerging Networking Experiments and Technologies. pp. 217\u2013228. CoNEXT \u201813. ACM (2013)","DOI":"10.1145\/2535372.2535374"},{"key":"2_CR34","doi-asserted-by":"crossref","unstructured":"Varga, A., Hornig, R.: An Overview of the OMNeT\u00a0++\u00a0Simulation Environment. In: Moln\u00e1r, S., Heath, J.R., Dalle, O., Wainer, G.A. (eds.) Proceedings of the 1st International Conference on Simulation Tools and Techniques for Communications, Networks and Systems. p. 60. SimuTools \u201808, ICST, Brussels, Belgium (2008)","DOI":"10.4108\/ICST.SIMUTOOLS2008.3027"},{"key":"2_CR35","unstructured":"Weing\u00e4rtner, E., Ceriotti, M., Wehrle, K.: How to simulate the internet of things? In: Proceedings of the 11th GI\/ITG KuVS Fachgespr\u00e4ch Drahtlose Sensornetze. pp. 27\u201328. FGSN \u201812. Technische Universit\u00e4t Darmstadt (2012)"}],"container-title":["Advances in Intelligent Systems and Computing","Complex Systems Design & Management Asia"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-29643-2_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,1]],"date-time":"2025-06-01T06:44:37Z","timestamp":1748760277000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-29643-2_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319296425","9783319296432"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-29643-2_2","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}