{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T03:19:35Z","timestamp":1740107975565,"version":"3.37.3"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T00:00:00Z","timestamp":1610496000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,13]],"date-time":"2021-01-13T00:00:00Z","timestamp":1610496000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2021,10]]},"DOI":"10.1007\/s10009-020-00598-5","type":"journal-article","created":{"date-parts":[[2021,1,14]],"date-time":"2021-01-14T02:46:49Z","timestamp":1610592409000},"page":"765-781","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Energy characterization of IoT systems through design aspect monitoring"],"prefix":"10.1007","volume":"23","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8243-7075","authenticated-orcid":false,"given":"Alexios","family":"Lekidis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Panagiotis","family":"Katsaros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,1,13]]},"reference":[{"key":"598_CR1","unstructured":"Antonakakis, M., April, T., Bailey, M., Bernhard, M., Bursztein, E., Cochran, J., Durumeric, Z., Halderman, J.A., Invernizzi, L., Kallitsis, M., et\u00a0al.: Understanding the mirai botnet. In: USENIX Security Symposium, pp. 1092\u20131110 (2017)"},{"issue":"3","key":"598_CR2","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MS.2011.27","volume":"28","author":"A Basu","year":"2011","unstructured":"Basu, A., Bensalem, B., Bozga, M., Combaz, J., Jaber, M., Nguyen, T.H., Sifakis, J.: Rigorous component-based system design using the BIP framework. IEEE Softw. 28(3), 41\u201348 (2011). https:\/\/doi.org\/10.1109\/MS.2011.27","journal-title":"IEEE Softw."},{"key":"598_CR3","doi-asserted-by":"crossref","unstructured":"Bozga, M., Jaber, M., Maris, N., Sifakis, J.: Modeling dynamic architectures using dy-bip. In: International Conference on Software Composition, pp. 1\u201316. Springer (2012)","DOI":"10.1007\/978-3-642-30564-1_1"},{"issue":"4","key":"598_CR4","doi-asserted-by":"publisher","first-page":"2233","DOI":"10.1109\/TII.2014.2300753","volume":"10","author":"L Da Xu","year":"2014","unstructured":"Da Xu, L., He, W., Li, S.: Internet of things in industries: a survey. IEEE Trans. Ind. Inform. 10(4), 2233\u20132243 (2014)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"598_CR5","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/j.pmcj.2014.09.006","volume":"20","author":"S Distefano","year":"2015","unstructured":"Distefano, S., Merlino, G., Puliafito, A.: A utility paradigm for iot: the sensing cloud. Pervasive Mob. Comput. 20, 127\u2013144 (2015)","journal-title":"Pervasive Mob. Comput."},{"key":"598_CR6","unstructured":"Dunkels, A., Gronvall, B., Voigt, T.: Contiki-a lightweight and flexible operating system for tiny networked sensors. In: 29th Annual IEEE International Conference on Local Computer Networks, 2004, pp. 455\u2013462. IEEE (2004)"},{"key":"598_CR7","doi-asserted-by":"publisher","unstructured":"Dunkels, A., Osterlind, F., Tsiftes, N., He, Z.: Software-based on-line energy estimation for sensor nodes. In: Proceedings of the 4th Workshop on Embedded Networked Sensors, pp. 28\u201332. ACM (2007). https:\/\/doi.org\/10.1145\/1278972.1278979","DOI":"10.1145\/1278972.1278979"},{"key":"598_CR8","unstructured":"ETSI, E.: 302 637-3 V1. 2.2 (2014-11) Intelligent Transport Systems (ITS). Vehicular Communications"},{"key":"598_CR9","unstructured":"ETSI, T.: Intelligent transport systems (its); vehicular communications; basic set of applications; part 2: specification of cooperative awareness basic service. Draft ETSI TS 20, 448\u2013451 (2011)"},{"key":"598_CR10","doi-asserted-by":"publisher","DOI":"10.1109\/LES.2017.2741419","author":"K Georgiou","year":"2017","unstructured":"Georgiou, K., Xavier-de Souza, S., Eder, K.: The iot energy challenge: a software perspective. IEEE Embed. Syst. Lett. (2017). https:\/\/doi.org\/10.1109\/LES.2017.2741419","journal-title":"IEEE Embed. Syst. Lett."},{"key":"598_CR11","doi-asserted-by":"crossref","unstructured":"H\u00e9rault, T., Lassaigne, R., Magniette, F., Peyronnet, S.: Approximate probabilistic model checking. In: Verification, Model Checking, and Abstract Interpretation, pp. 73\u201384. Springer (2004)","DOI":"10.1007\/978-3-540-24622-0_8"},{"key":"598_CR12","doi-asserted-by":"crossref","unstructured":"Jiang, X., Dutta, P., Culler, D., Stoica, I.: Micro power meter for energy monitoring of wireless sensor networks at scale. In: 2007 6th International Symposium on Information Processing in Sensor Networks, pp. 186\u2013195. IEEE (2007)","DOI":"10.1109\/IPSN.2007.4379678"},{"issue":"7","key":"598_CR13","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1109\/MC.2017.201","volume":"50","author":"C Kolias","year":"2017","unstructured":"Kolias, C., Kambourakis, G., Stavrou, A., Voas, J.: Ddos in the iot: Mirai and other botnets. Computer 50(7), 80\u201384 (2017)","journal-title":"Computer"},{"key":"598_CR14","doi-asserted-by":"publisher","unstructured":"Lekidis, A., Katsaros, P.: Model-based design of energy-efficient applications for IoT systems. In: Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, MeTRiD@ETAPS 2018, pp. 24\u201338 (2018). https:\/\/doi.org\/10.4204\/EPTCS.272.3","DOI":"10.4204\/EPTCS.272.3"},{"key":"598_CR15","doi-asserted-by":"crossref","unstructured":"Lekidis, A., Katsaros, P.: Model-based energy characterization of iot system design aspects. In: From Reactive Systems to Cyber-Physical Systems: Essays Dedicated to Scott A. Smolka on the Occasion of His 65th Birthday, pp. 165\u2013180 (2019)","DOI":"10.1007\/978-3-030-31514-6_10"},{"key":"598_CR16","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2568","author":"A Lekidis","year":"2018","unstructured":"Lekidis, A., Stachtiari, E., Katsaros, P., Bozga, M., Georgiadis, C.K.: Model-based design of iot systems with the bip component framework. Softw. Pract. Exp. (2018). https:\/\/doi.org\/10.1002\/spe.2568","journal-title":"Softw. Pract. Exp."},{"issue":"10","key":"598_CR17","doi-asserted-by":"publisher","first-page":"5777","DOI":"10.1109\/JSEN.2015.2445094","volume":"15","author":"B Martinez","year":"2015","unstructured":"Martinez, B., Monton, M., Vilajosana, I., Prades, J.D.: The power of models: modeling power consumption for iot devices. IEEE Sens. J. 15(10), 5777\u20135789 (2015). https:\/\/doi.org\/10.1109\/JSEN.2015.2445094","journal-title":"IEEE Sens. J."},{"key":"598_CR18","doi-asserted-by":"crossref","unstructured":"Mavromatis, I., Tassi, A., Piechocki, R.J.: Operating its-g5 dsrc over unlicensed bands: A city-scale performance evaluation. In: 2019 IEEE 30th Annual International Symposium on Personal, Indoor and Mobile Radio Communications (PIMRC), pp. 1\u20137. IEEE (2019)","DOI":"10.1109\/PIMRC.2019.8904214"},{"key":"598_CR19","doi-asserted-by":"crossref","unstructured":"Nastic, S., Sehic, S., Le, D.H., Truong, H.L., Dustdar, S.: Provisioning software-defined IoT cloud systems. In: 2014 2nd International Conference on Future Internet of Things and Cloud (FiCloud), pp. 288\u2013295. IEEE (2014)","DOI":"10.1109\/FiCloud.2014.52"},{"issue":"2","key":"598_CR20","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s10009-014-0313-6","volume":"17","author":"A Nouri","year":"2015","unstructured":"Nouri, A., Bensalem, S., Bozga, M., Delahaye, B., Jegourel, C., Legay, A.: Statistical model checking qos properties of systems with sbip. Int. J. Softw. Tools Technol. Transf. 17(2), 171\u2013185 (2015). https:\/\/doi.org\/10.1007\/s10009-014-0313-6","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"issue":"4","key":"598_CR21","doi-asserted-by":"crossref","first-page":"e3188","DOI":"10.1002\/ett.3188","volume":"29","author":"J Pacheco","year":"2018","unstructured":"Pacheco, J., Hariri, S.: Anomaly behavior analysis for iot sensors. Trans. Emerg. Telecommun. Technol. 29(4), e3188 (2018)","journal-title":"Trans. Emerg. Telecommun. Technol."},{"key":"598_CR22","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jss.2015.01.027","volume":"103","author":"P Patel","year":"2015","unstructured":"Patel, P., Cassou, D.: Enabling high-level application development for the internet of things. J. Syst. Softw. 103, 62\u201384 (2015)","journal-title":"J. Syst. Softw."},{"key":"598_CR23","doi-asserted-by":"crossref","unstructured":"Shelby, Z., Hartke, K., Bormann, C.: The constrained application protocol (CoAP). Tech. rep. (2014)","DOI":"10.17487\/rfc7252"},{"key":"598_CR24","doi-asserted-by":"crossref","unstructured":"Ye, W., Vijaykrishnan, N., Kandemir, M., Irwin, M.J.: The design and use of simplepower: a cycle-accurate energy estimation tool. In: Proceedings of the 37th Annual Design Automation Conference, pp. 340\u2013345 (2000)","DOI":"10.1145\/337292.337436"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00598-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10009-020-00598-5\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-020-00598-5.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,17]],"date-time":"2023-10-17T16:23:23Z","timestamp":1697559803000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10009-020-00598-5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,1,13]]},"references-count":24,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2021,10]]}},"alternative-id":["598"],"URL":"https:\/\/doi.org\/10.1007\/s10009-020-00598-5","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2021,1,13]]},"assertion":[{"value":"1 December 2020","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 January 2021","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}