{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,4]],"date-time":"2025-09-04T13:30:15Z","timestamp":1756992615781,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030504250"},{"type":"electronic","value":"9783030504267"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-50426-7_27","type":"book-chapter","created":{"date-parts":[[2020,6,18]],"date-time":"2020-06-18T20:09:52Z","timestamp":1592510992000},"page":"357-370","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["Visual Self-healing Modelling for Reliable Internet-of-Things Systems"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-9066-6436","authenticated-orcid":false,"given":"Jo\u00e3o Pedro","family":"Dias","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2572-047X","authenticated-orcid":false,"given":"Bruno","family":"Lima","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3825-3954","authenticated-orcid":false,"given":"Jo\u00e3o Pascoal","family":"Faria","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1328-3391","authenticated-orcid":false,"given":"Andr\u00e9","family":"Restivo","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4963-3525","authenticated-orcid":false,"given":"Hugo Sereno","family":"Ferreira","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,15]]},"reference":[{"issue":"3","key":"27_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1002\/cpe.4263","volume":"31","author":"MS Aktas","year":"2019","unstructured":"Aktas, M.S., Astekin, M.: Provenance aware run-time verification of things for self-healing Internet of Things applications. Concurr. Comput. 31(3), 1\u20139 (2019)","journal-title":"Concurr. Comput."},{"issue":"1","key":"27_CR2","doi-asserted-by":"publisher","first-page":"472","DOI":"10.1109\/JIOT.2018.2863180","volume":"6","author":"M Aly","year":"2019","unstructured":"Aly, M., Khomh, F., Gueheneuc, Y.G., Washizaki, H., Yacout, S.: Is fragmentation a threat to the success of the internet of things? IEEE Internet Things J. 6(1), 472\u2013487 (2019)","journal-title":"IEEE Internet Things J."},{"key":"27_CR3","doi-asserted-by":"crossref","unstructured":"Angarita, R.: Responsible objects: towards self-healing Internet of Things applications. In: Proceedings - IEEE International Conference on Autonomic Computing, ICAC 2015, pp. 307\u2013312 (2015)","DOI":"10.1109\/ICAC.2015.60"},{"key":"27_CR4","unstructured":"Ashraf, Q.M., Habaebi, M.H.: Introducing autonomy in Internet of Things. In: 14th International Conference on Applied Computer and Applied Computational Science (ACACOS 2015) (2015)"},{"key":"27_CR5","doi-asserted-by":"crossref","unstructured":"Athreya, A.P., DeBruhl, B., Tague, P.: Designing for self-configuration and self-adaptation in the Internet of Things. In: Proceedings of the 9th IEEE International Conference on Collaborative Computing: Networking, Applications and Worksharing, COLLABORATECOM 2013, pp. 585\u2013592 (2013)","DOI":"10.4108\/icst.collaboratecom.2013.254091"},{"key":"27_CR6","unstructured":"Avizienis, A., Laprie, J.C., Randell, B.: Fundamental Concepts of Dependability. Technical Report Series University of Newcastle Upon Tyne Computing Science, vol. 1145, no. 010028, pp. 7\u201312 (2001)"},{"key":"27_CR7","doi-asserted-by":"crossref","unstructured":"Blackstock, M., Lea, R.: Toward a distributed data flow platform for the Web of Things (Distributed Node-RED). In: Proceedings of the 5th International Workshop on Web of Things - WoT 2014, pp. 34\u201339 (2014)","DOI":"10.1145\/2684432.2684439"},{"key":"27_CR8","doi-asserted-by":"crossref","unstructured":"Delicato, F.C., Pires, P.F., Batista, T., Cavalcante, E., Costa, B., Barros, T.: Towards an IoT ecosystem. In: Proceedings of the First International Workshop on Software Engineering for Systems-of-Systems, SESoS 2013, pp. 25\u201328. ACM (2013)","DOI":"10.1145\/2489850.2489855"},{"key":"27_CR9","doi-asserted-by":"crossref","unstructured":"Dias, J.P., Couto, F., Paiva, A.C.R., Ferreira, H.S.: A brief overview of existing tools for testing the Internet-of-Things. In: IEEE International Conference on Software Testing, Verification and Validation Workshops, pp. 104\u2013109, April 2018","DOI":"10.1109\/ICSTW.2018.00035"},{"key":"27_CR10","doi-asserted-by":"crossref","unstructured":"Dias, J.a.P., Ferreira, H.S., Sousa, T.B.: Testing and deployment patterns for the Internet-of-Things. In: Proceedings of the 24th European Conference on Pattern Languages of Programs. EuroPLop 2019. ACM (2019)","DOI":"10.1145\/3361149.3361165"},{"key":"27_CR11","doi-asserted-by":"publisher","unstructured":"Dias, J.P.: jpdias\/node-red-contrib-self-healing: Replication package for ICCS 2020, April 2020. https:\/\/doi.org\/10.5281\/zenodo.3746414","DOI":"10.5281\/zenodo.3746414"},{"key":"27_CR12","doi-asserted-by":"crossref","unstructured":"Dundar, B., Astekin, M., Aktas, M.S.: A big data processing framework for self-healing Internet of Things applications. In: 2016 12th International Conference on Semantics, Knowledge and Grids (SKG), pp. 62\u201368. IEEE (2016)","DOI":"10.1109\/SKG.2016.017"},{"issue":"1","key":"27_CR13","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1147\/sj.421.0005","volume":"42","author":"AG Ganek","year":"2003","unstructured":"Ganek, A.G., Corbi, T.A.: The dawning of the autonomic computing era. IBM Syst. J. 42(1), 5\u201318 (2003)","journal-title":"IBM Syst. J."},{"issue":"4","key":"27_CR14","doi-asserted-by":"publisher","first-page":"2164","DOI":"10.1016\/j.dss.2006.06.011","volume":"42","author":"D Ghosh","year":"2007","unstructured":"Ghosh, D., Sharman, R., Rao, H.R., Upadhyaya, S.: Self healing systems\u2014-survey and synthesis. Decis. Support Syst. 42(4), 2164\u20132185 (2007). Decision Support Systems in Emerging Economies","journal-title":"Decis. Support Syst."},{"key":"27_CR15","doi-asserted-by":"crossref","unstructured":"\u0130n\u00e7ki, K., Ar\u0131, \u0130., S\u00f6zer, H.: Runtime verification of IoT systems using complex event processing. In: 2017 IEEE 14th International Conference on Networking, Sensing and Control (ICNSC), pp. 625\u2013630. IEEE (2017)","DOI":"10.1109\/ICNSC.2017.8000163"},{"key":"27_CR16","doi-asserted-by":"crossref","unstructured":"Janssen, P., Erhan, H., Chen, K.W.: Visual dataflow modelling - some thoughts on complexity. In: Proceedings of the 32nd eCAADe Conference (2014)","DOI":"10.52842\/conf.ecaade.2014.2.547"},{"key":"27_CR17","doi-asserted-by":"publisher","unstructured":"Jia, W., Zhou, W.: Reliability and replication techniques. In: Distributed Network Systems: From Concepts to Implementations, pp. 213\u2013254 (2005). https:\/\/doi.org\/10.1007\/0-387-23840-9_9","DOI":"10.1007\/0-387-23840-9_9"},{"key":"27_CR18","series-title":"Real-Time Systems Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8237-7","volume-title":"Real-Time Systems","author":"H Kopetz","year":"2011","unstructured":"Kopetz, H.: Real-Time Systems. Real-Time Systems Series. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-1-4419-8237-7"},{"key":"27_CR19","doi-asserted-by":"publisher","first-page":"184","DOI":"10.1016\/j.pmcj.2014.09.009","volume":"17","author":"C Krupitzer","year":"2015","unstructured":"Krupitzer, C., Roth, F.M., VanSyckel, S., Schiele, G., Becker, C.: A survey on engineering approaches for self-adaptive systems. Pervasive Mob. Comput. 17, 184\u2013206 (2015)","journal-title":"Pervasive Mob. Comput."},{"key":"27_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-030-03056-8_8","volume-title":"Current Trends in Web Engineering","author":"M Leotta","year":"2018","unstructured":"Leotta, M., Ancona, D., Franceschini, L., Olianas, D., Ribaudo, M., Ricca, F.: Towards a runtime verification approach for Internet of Things systems. In: Pautasso, C., S\u00e1nchez-Figueroa, F., Syst\u00e4, K., Murillo Rodr\u00edguez, J.M. (eds.) ICWE 2018. LNCS, vol. 11153, pp. 83\u201396. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03056-8_8"},{"issue":"5","key":"27_CR21","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Logic Algebraic Program. 78(5), 293\u2013303 (2009)","journal-title":"J. Logic Algebraic Program."},{"key":"27_CR22","first-page":"1","volume":"1","author":"R Minerva","year":"2015","unstructured":"Minerva, R., Biru, A., Rotondi, D.: Towards a definition of the Internet of Things (iot). IEEE Internet Initiative 1, 1\u201386 (2015)","journal-title":"IEEE Internet Initiative"},{"issue":"1","key":"27_CR23","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/MS.2017.11","volume":"34","author":"B Morin","year":"2017","unstructured":"Morin, B., Harrand, N., Fleurey, F.: Model-based software engineering to tame the IoT jungle. IEEE Softw. 34(1), 30\u201336 (2017)","journal-title":"IEEE Softw."},{"issue":"C","key":"27_CR24","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(C), 62\u201384 (2015)","journal-title":"J. Syst. Softw."},{"key":"27_CR25","doi-asserted-by":"crossref","unstructured":"Pontes, P.M., Lima, B., Faria, J.a.P.: Test patterns for IoT. In: Proceedings of the 9th ACM SIGSOFT International Workshop on Automating TEST Case Design, Selection, and Evaluation, A-TEST 2018, pp. 63\u201366. ACM (2018)","DOI":"10.1145\/3278186.3278196"},{"key":"27_CR26","unstructured":"Prehofer, C., Chiarabini, L.: From IoT mashups to model-based IoT. In: W3C Workshop on the Web of Things (2013)"},{"key":"27_CR27","doi-asserted-by":"crossref","unstructured":"Prehofer, C., Chiarabini, L.: From Internet of Things mashups to model-based development. In: 2015 IEEE 39th Annual Computer Software and Applications Conference, vol. 3, pp. 499\u2013504. IEEE (2015)","DOI":"10.1109\/COMPSAC.2015.263"},{"issue":"1","key":"27_CR28","first-page":"43","volume":"91","author":"H Psaier","year":"2011","unstructured":"Psaier, H., Dustdar, S.: A survey on self-healing systems: approaches and systems. Computing (Vienna\/N.Y.) 91(1), 43\u201373 (2011)","journal-title":"Computing (Vienna\/N.Y.)"},{"key":"27_CR29","first-page":"1","volume":"2017","author":"PP Ray","year":"2017","unstructured":"Ray, P.P.: A survey on visual programming languages in Internet of Things. Sci. Program. 2017, 1\u20136 (2017)","journal-title":"Sci. Program."},{"key":"27_CR30","doi-asserted-by":"crossref","unstructured":"Seeger, J., Br\u00f6ring, A., Carle, G.: Optimally self-healing IoT choreographies (2019)","DOI":"10.1145\/3386361"},{"issue":"2011","key":"27_CR31","first-page":"9","volume":"1","author":"O Vermesan","year":"2011","unstructured":"Vermesan, O., et al.: Internet of Things strategic research roadmap. Internet Things-Glob. Technol. Soc. Trends 1(2011), 9\u201352 (2011)","journal-title":"Internet Things-Glob. Technol. Soc. Trends"}],"container-title":["Lecture Notes in Computer Science","Computational Science \u2013 ICCS 2020"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-50426-7_27","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,17]],"date-time":"2024-06-17T23:08:47Z","timestamp":1718665727000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-50426-7_27"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030504250","9783030504267"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-50426-7_27","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"15 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICCS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computational Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Amsterdam","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"The Netherlands","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 June 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"iccs-computsci2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.iccs-meeting.org\/iccs2020\/","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":"230","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":"98","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":"3","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":"43% - 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":"2.5","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":"4","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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"248 workshop papers were selected from 489 submissions to the thematic tracks. The conference was canceled due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}