{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T20:51:30Z","timestamp":1743022290355,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031492518"},{"type":"electronic","value":"9783031492525"}],"license":[{"start":{"date-parts":[[2023,11,29]],"date-time":"2023-11-29T00:00:00Z","timestamp":1701216000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,11,29]],"date-time":"2023-11-29T00:00:00Z","timestamp":1701216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2024]]},"DOI":"10.1007\/978-3-031-49252-5_12","type":"book-chapter","created":{"date-parts":[[2023,11,28]],"date-time":"2023-11-28T06:02:12Z","timestamp":1701151332000},"page":"153-169","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Comparative Analysis of\u00a0Uppaal \u00a0SMC, ns-3 and\u00a0MATLAB\/Simulink"],"prefix":"10.1007","author":[{"given":"Muhammad","family":"Naeem","sequence":"first","affiliation":[]},{"given":"Michele","family":"Albano","sequence":"additional","affiliation":[]},{"given":"Kim Guldstrand","family":"Larsen","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Nielsen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,11,29]]},"reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Bakni, M., Chac\u00f3n, L.M.M., Cardinale, Y., Terrasson, G., Curea, O.: WSN simulators evaluation: an approach focusing on energy awareness. arXiv preprint arXiv:2002.06246 (2020)","DOI":"10.5121\/ijwmn.2019.11601"},{"key":"12_CR2","doi-asserted-by":"publisher","unstructured":"Bilgram, A., et al.: An investigation of safe and near-optimal strategies for prevention of covid-19 exposure using stochastic hybrid models and machine learning. Decis. Anal. J. 5, 100141 (2022). https:\/\/doi.org\/10.1016\/j.dajour.2022.100141, https:\/\/www.sciencedirect.com\/science\/article\/pii\/S2772662222000728","DOI":"10.1016\/j.dajour.2022.100141"},{"issue":"4","key":"12_CR3","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1007\/s10009-014-0361-y","volume":"17","author":"A David","year":"2015","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B.: UPPAAL SMC tutorial. Int. J. Softw. Tools Technol. Transfer 17(4), 397\u2013415 (2015)","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"12_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"388","DOI":"10.1007\/978-3-642-34026-0_29","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change","author":"A David","year":"2012","unstructured":"David, A., Larsen, K.G., Legay, A., Miku\u010dionis, M., Poulsen, D.B., Sedwards, S.: Runtime verification of biological systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012. LNCS, vol. 7609, pp. 388\u2013404. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-34026-0_29"},{"key":"12_CR5","first-page":"1","volume":"5","author":"S Gnanaselvi","year":"2018","unstructured":"Gnanaselvi, S.: A study on various simulation tools for wireless sensor networks. Int. J. Eng. Res. Manag. (IJERM) 5, 1\u20133 (2018)","journal-title":"Int. J. Eng. Res. Manag. (IJERM)"},{"key":"12_CR6","doi-asserted-by":"crossref","unstructured":"Knight, A.: Basics of MATLAB and Beyond. CRC Press, Boca Raton (2019)","DOI":"10.1201\/9780429186882"},{"key":"12_CR7","doi-asserted-by":"publisher","unstructured":"Kochhar, A., Kaur, P., Preeti.: Simulation platforms for wireless sensor networks: how to select?. In: Tuba, M., Akashe, S., Joshi, A. (eds.) Information and Communication Technology for Sustainable Development. Advances in Intelligent Systems and Computing, vol. 933, pp. 539\u2013545. Springer, Singapore (2020). https:\/\/doi.org\/10.1007\/978-981-13-7166-0_54","DOI":"10.1007\/978-981-13-7166-0_54"},{"issue":"11s","key":"12_CR8","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3510411","volume":"54","author":"H Korala","year":"2022","unstructured":"Korala, H., Georgakopoulos, D., Jayaraman, P.P., Yavari, A.: A survey of techniques for fulfilling the time-bound requirements of time-sensitive IoT applications. ACM Comput. Surv. 54(11s), 1\u201336 (2022)","journal-title":"ACM Comput. Surv."},{"key":"12_CR9","doi-asserted-by":"publisher","first-page":"10577","DOI":"10.1109\/JSEN.2023.3261667","volume":"23","author":"M Naeem","year":"2023","unstructured":"Naeem, M., Albano, M., Larsen, K.G., Nielsen, B., H\u00f8edholt, A., Laursen, C.\u00d8.: Modelling and analysis of a sigfox based IoT network using uppaal SMC. IEEE Sens. J. 23, 10577\u201310587 (2023)","journal-title":"IEEE Sens. J."},{"key":"12_CR10","doi-asserted-by":"crossref","unstructured":"Naeem, M., Albano, M., Larsen, K.G., Nielsen, B., H\u00f8edholt, A., \u00d8stergaard Laursen, C.: Battery aware analysis of sensor networks in uppaal SMC. In: 2021 10th Mediterranean Conference on Embedded Computing (MECO), pp. 1\u20136. IEEE Budva, Montenegro (2021)","DOI":"10.1109\/MECO52532.2021.9460152"},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"Naeem, M., Albano, M., Magrin, D., Nielsen, B., Guldstrand, K.: A sigfox module for the network simulator 3. In: Proceedings of the WNS3 2022, pp. 81\u201388 (2022)","DOI":"10.1145\/3532577.3532599"},{"issue":"1","key":"12_CR12","first-page":"19","volume":"5","author":"A Nayyar","year":"2015","unstructured":"Nayyar, A., Singh, R.: A comprehensive review of simulation tools for wireless sensor networks (WSNS). J. Wirel. Netw. Commun. 5(1), 19\u201347 (2015)","journal-title":"J. Wirel. Netw. Commun."},{"key":"12_CR13","doi-asserted-by":"publisher","unstructured":"Riley, G.F., Henderson, T.R.: The ns-3 network simulator. In: Wehrle, K., G\u00fcne\u015f, M., Gross, J. (eds.) Modeling and Tools for Network Simulation, pp. 15\u201334. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-12331-3_2","DOI":"10.1007\/978-3-642-12331-3_2"},{"key":"12_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"202","DOI":"10.1007\/978-3-540-27813-9_16","volume-title":"Computer Aided Verification","author":"K Sen","year":"2004","unstructured":"Sen, K., Viswanathan, M., Agha, G.: Statistical model checking of black-box probabilistic systems. In: Alur, R., Peled, D.A. (eds.) CAV 2004. LNCS, vol. 3114, pp. 202\u2013215. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-27813-9_16"},{"issue":"5","key":"12_CR15","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1049\/iet-wss.2020.0046","volume":"10","author":"R Sharma","year":"2020","unstructured":"Sharma, R., Vashisht, V., Singh, U.: Modelling and simulation frameworks for wireless sensor networks: a comparative study. IET Wirel. Sens. Syst. 10(5), 181\u2013197 (2020)","journal-title":"IET Wirel. Sens. Syst."},{"key":"12_CR16","unstructured":"Sigfox: Sigfox Radio specifications, February 2020. https:\/\/storage.googleapis.com\/public-assets-xd-sigfox-production-338901379285\/abaedf62-56de-402e-93c3-3a9c10a1cb49.pdf"},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"Xian, X., Shi, W., Huang, H.: Comparison of Omnet++ and other simulator for WSN simulation. In: 2008 3rd IEEE Conference on Industrial Electronics and Applications, pp. 1439\u20131443. IEEE (2008)","DOI":"10.1109\/ICIEA.2008.4582757"}],"container-title":["Lecture Notes in Computer Science","Engineering of Computer-Based Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-49252-5_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,4]],"date-time":"2024-11-04T00:54:12Z","timestamp":1730681652000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-49252-5_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,29]]},"ISBN":["9783031492518","9783031492525"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-49252-5_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023,11,29]]},"assertion":[{"value":"29 November 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ECBS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Engineering of Computer-Based Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"V\u00e4ster\u00e5s","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ecbseerc2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/conf.researchr.org\/home\/ecbs-2023","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"42% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.42","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.02","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}