{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,3]],"date-time":"2026-06-03T13:08:41Z","timestamp":1780492121806,"version":"3.54.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T00:00:00Z","timestamp":1715558400000},"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":["J Reliable Intell Environ"],"published-print":{"date-parts":[[2024,12]]},"DOI":"10.1007\/s40860-024-00222-2","type":"journal-article","created":{"date-parts":[[2024,5,13]],"date-time":"2024-05-13T17:01:52Z","timestamp":1715619712000},"page":"377-393","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Dependability analysis and disaster recovery measures in smart hospital systems"],"prefix":"10.1007","volume":"10","author":[{"given":"Luiz Nelson","family":"Lima","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Arthur","family":"Sabino","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Vandirleya","family":"Barbosa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Leonel","family":"Feitosa","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Carlos","family":"Brito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean","family":"Araujo","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Francisco Airton","family":"Silva","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,5,13]]},"reference":[{"issue":"21","key":"222_CR1","doi-asserted-by":"publisher","first-page":"15919","DOI":"10.1109\/JIOT.2021.3050775","volume":"8","author":"KH Abdulkareem","year":"2021","unstructured":"Abdulkareem KH, Mohammed MA, Salim A, Arif M, Geman O, Gupta D, Khanna A (2021) Realizing an effective covid-19 diagnosis system based on machine learning and iot in smart hospital environment. IEEE Internet Things J 8(21):15919\u201315928","journal-title":"IEEE Internet Things J"},{"key":"222_CR2","doi-asserted-by":"publisher","first-page":"3660","DOI":"10.1109\/ACCESS.2020.3047960","volume":"9","author":"F Alshehri","year":"2020","unstructured":"Alshehri F, Muhammad G (2020) A comprehensive survey of the internet of things (iot) and ai-based smart healthcare. IEEE Access 9:3660\u20133678","journal-title":"IEEE Access"},{"issue":"3","key":"222_CR3","doi-asserted-by":"publisher","first-page":"1828","DOI":"10.1007\/s11227-018-2290-0","volume":"76","author":"E Andrade","year":"2020","unstructured":"Andrade E, Nogueira B (2020) Dependability evaluation of a disaster recovery solution for iot infrastructures. J Supercomput 76(3):1828\u20131849","journal-title":"J Supercomput"},{"issue":"1","key":"222_CR4","doi-asserted-by":"publisher","first-page":"124","DOI":"10.3390\/en14010124","volume":"14","author":"E Araujo","year":"2020","unstructured":"Araujo E, Pereira P, Dantas J, Maciel P (2020) Dependability impact in the smart solar power systems: an analysis of smart buildings. Energies 14(1):124","journal-title":"Energies"},{"issue":"3","key":"222_CR5","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1504\/IJSNET.2021.117229","volume":"36","author":"G Ara\u00fajo","year":"2021","unstructured":"Ara\u00fajo G, Rodrigues L, Oliveira K, F\u00e9 I, Khan R, Silva FA (2021) Vehicular cloud computing networks: availability modelling and sensitivity analysis. Int J Sensor Netw 36(3):125\u2013138","journal-title":"Int J Sensor Netw"},{"issue":"3","key":"222_CR6","doi-asserted-by":"publisher","first-page":"383","DOI":"10.3390\/electronics11030383","volume":"11","author":"M Ben Ammar","year":"2022","unstructured":"Ben Ammar M, Ben Dhaou I, El Houssaini D, Sahnoun S, Fakhfakh A, Kanoun O (2022) Requirements for energy-harvesting-driven edge devices using task-offloading approaches. Electronics 11(3):383","journal-title":"Electronics"},{"key":"222_CR7","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.mechatronics.2015.02.005","volume":"27","author":"D Bradley","year":"2015","unstructured":"Bradley D, Russell D, Ferguson I, Isaacs J, MacLeod A, White R (2015) The internet of things-the future or the end of mechatronics. Mechatronics 27:57\u201374","journal-title":"Mechatronics"},{"key":"222_CR8","doi-asserted-by":"crossref","unstructured":"Burian R, Gontijo M, Alvarez H (2019) Robustness and reliability in smart grid solutions. In: 2019 IEEE 7th International Conference on Smart Energy Grid Engineering (SEGE), pp 59\u201362","DOI":"10.1109\/SEGE.2019.8859947"},{"issue":"7","key":"222_CR9","doi-asserted-by":"publisher","first-page":"2191","DOI":"10.1002\/qre.1927","volume":"32","author":"I Costa","year":"2016","unstructured":"Costa I, Araujo J, Dantas J, Campos E, Silva FA, Maciel P (2016) Availability evaluation and sensitivity analysis of a mobile backend-as-a-service platform. Qual Reliabil Eng Int 32(7):2191\u20132205","journal-title":"Qual Reliabil Eng Int"},{"key":"222_CR10","doi-asserted-by":"crossref","unstructured":"da\u00a0Silva\u00a0Lisboa MFF, Santos GL, Lynn T, Sadok D, Kelner J, Endo PT, et\u00a0al (2018) Modeling the availability of an e-health system integrated with edge, fog and cloud infrastructures. In: 2018 IEEE symposium on computers and communications (ISCC), pp 00416\u201300421","DOI":"10.1109\/ISCC.2018.8538589"},{"issue":"21","key":"222_CR11","doi-asserted-by":"publisher","first-page":"2626","DOI":"10.3390\/electronics10212626","volume":"10","author":"L Feitosa","year":"2021","unstructured":"Feitosa L, Gon\u00e7alves G, Nguyen TA, Lee JW, Silva FA (2021) Performance evaluation of message routing strategies in the internet of robotic things using the d\/m\/c\/k\/fcfs queuing network. Electronics 10(21):2626","journal-title":"Electronics"},{"key":"222_CR12","doi-asserted-by":"publisher","first-page":"115868","DOI":"10.1109\/ACCESS.2021.3102867","volume":"9","author":"J Islam","year":"2021","unstructured":"Islam J, Kumar T, Kovacevic I, Harjula E (2021) Resource-aware dynamic service deployment for local iot edge computing: Healthcare use case. IEEE Access 9:115868\u2013115884","journal-title":"IEEE Access"},{"key":"222_CR13","doi-asserted-by":"publisher","first-page":"34717","DOI":"10.1109\/ACCESS.2020.2974687","volume":"8","author":"MA Khan","year":"2020","unstructured":"Khan MA (2020) An iot framework for heart disease prediction based on mdcnn classifier. IEEE Access 8:34717\u201334727","journal-title":"IEEE Access"},{"key":"222_CR14","doi-asserted-by":"publisher","first-page":"122259","DOI":"10.1109\/ACCESS.2020.3006424","volume":"8","author":"MA Khan","year":"2020","unstructured":"Khan MA, Algarni F (2020) A healthcare monitoring system for the diagnosis of heart disease in the iomt cloud environment using msso-anfis. IEEE Access 8:122259\u2013122269","journal-title":"IEEE Access"},{"key":"222_CR15","doi-asserted-by":"crossref","unstructured":"Kleijnen JP (1995) Sensitivity analysis and optimization in simulation: design of experiments and case studies. In: Proceedings of the 27th conference on Winter simulation, pp 133\u2013140","DOI":"10.1145\/224401.224454"},{"key":"222_CR16","doi-asserted-by":"crossref","unstructured":"Maciel P, Matos R, Silva B, Figueiredo J, Oliveira D, F\u00e9 I, Maciel R, Dantas J (2017) Mercury: performance and dependability evaluation of systems with exponential, expolynomial, and general distributions. In: 2017 IEEE 22nd Pacific Rim international symposium on dependable computing (PRDC), pp 50\u201357","DOI":"10.1109\/PRDC.2017.16"},{"key":"222_CR17","doi-asserted-by":"crossref","unstructured":"Marqusee J, Ericson S, Jenket D (2020) Emergency diesel generator reliability and installation energy security. Technical report, National Renewable Energy Lab.(NREL), Golden, CO (United States)","DOI":"10.2172\/1659892"},{"issue":"9","key":"222_CR18","first-page":"1","volume":"1989","author":"MA Marsan","year":"1990","unstructured":"Marsan MA (1990) Stochastic petri nets: an elementary introduction. Adv Petri Nets 1989(9):1\u201329","journal-title":"Adv Petri Nets"},{"key":"222_CR19","unstructured":"MoDCS Research Group (2020) Mercury tool manual. In: CIn - Centro de Informatica UFPE, Recife, Brazil, March 13 2020. [Online] http:\/\/www.modcs.org"},{"issue":"18","key":"222_CR20","doi-asserted-by":"publisher","first-page":"6253","DOI":"10.3390\/s21186253","volume":"21","author":"TA Nguyen","year":"2021","unstructured":"Nguyen TA, Fe I, Brito C, Kaliappan VK, Choi E, Min D, Lee JW, Silva FA (2021) Performability evaluation of load balancing and fail-over strategies for medical information systems with edge\/fog computing using stochastic reward nets. Sensors 21(18):6253","journal-title":"Sensors"},{"key":"222_CR21","doi-asserted-by":"crossref","unstructured":"Nguyen TA, Min D, Choi E, Lee J-W (2021) Dependability and security quantification of an internet of medical things infrastructure based on cloud-fog-edge continuum for healthcare monitoring using hierarchical models. IEEE Internet Things J 8(21):15704\u201315748","DOI":"10.1109\/JIOT.2021.3081420"},{"issue":"5","key":"222_CR22","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1049\/iet-rpg.2014.0389","volume":"9","author":"M Perdue","year":"2015","unstructured":"Perdue M, Gottschalg R (2015) Energy yields of small grid connected photovoltaic system: effects of component reliability and maintenance. IET Renew Power Gener 9(5):432\u2013437","journal-title":"IET Renew Power Gener"},{"key":"222_CR23","unstructured":"Peterson JL (1981) Petri net theory and the modeling of systems. Prentice Hall PTR"},{"key":"222_CR24","unstructured":"Petri CA (1962) Kommunikation mit automaten"},{"key":"222_CR25","doi-asserted-by":"crossref","unstructured":"Pinheiro T, Oliveira D, Matos R, Silva B, Pereira P, Melo C, Oliveira F, Tavares E, Dantas J, Maciel P (2021) The mercury environment: a modeling tool for performance and dependability evaluation. Intelligent Environments 2021","DOI":"10.3233\/AISE210075"},{"issue":"17","key":"222_CR26","doi-asserted-by":"publisher","first-page":"10666","DOI":"10.3390\/su141710666","volume":"14","author":"AM Rahmani","year":"2022","unstructured":"Rahmani AM, Hosseini Mirmahaleh SY (2022) Flexible-clustering based on application priority to improve iomt efficiency and dependability. Sustainability 14(17):10666","journal-title":"Sustainability"},{"key":"222_CR27","unstructured":"Rampinelli GA (2010) Study of electrical and thermal characteristics of inverters for grid-connected photovoltaic systems; estudo de caracteristicas eletricas e termicas de inversores para sistemas fotovoltaicos conectados a rede"},{"key":"222_CR28","doi-asserted-by":"crossref","unstructured":"Reisig W (1985) Petri nets. In: volume 4 of eatcs monographs in computer science","DOI":"10.1007\/978-3-642-69968-9"},{"key":"222_CR29","doi-asserted-by":"crossref","unstructured":"Rodrigues L, Gon\u00e7alves I, F\u00e9 I, Endo P, Silva FA (2020) Modelo estoc\u00e1stico para avalia\u00e7ao de disponibilidade de hospitais inteligentes. In: Anais do XIX Workshop em Desempenho de Sistemas Computacionais e de Comunica\u00e7\u00e3o, pp 145\u2013156","DOI":"10.5753\/wperformance.2020.11113"},{"key":"222_CR30","doi-asserted-by":"publisher","first-page":"2401","DOI":"10.1007\/s00607-021-00979-x","volume":"103","author":"L Rodrigues","year":"2021","unstructured":"Rodrigues L, Gon\u00e7alves I, F\u00e9 I, Endo PT, Silva FA (2021) Performance and availability evaluation of an smart hospital architecture. Computing 103:2401\u20132435","journal-title":"Computing"},{"issue":"4","key":"222_CR31","first-page":"615","volume":"21","author":"GL Santos","year":"2020","unstructured":"Santos GL, Gomes D, Kelner J, Sadok D, Silva FA, Endo PT, Lynn T (2020) The internet of things for healthcare: optimising e-health system availability in the fog and cloud. Int J Comput Sci Eng 21(4):615\u2013628","journal-title":"Int J Comput Sci Eng"},{"issue":"2\u20133","key":"222_CR32","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1504\/IJGUC.2022.124381","volume":"13","author":"GL Santos","year":"2022","unstructured":"Santos GL, Gomes D, Silva FA, Endo PT, Lynn T (2022) Maximising the availability of an internet of medical things system using surrogate models and nature-inspired approaches. Int J Grid Util Comput 13(2\u20133):291\u2013308","journal-title":"Int J Grid Util Comput"},{"issue":"3","key":"222_CR33","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/s10922-021-09592-x","volume":"29","author":"L Santos","year":"2021","unstructured":"Santos L, Cunha B, F\u00e9 I, Vieira M, Silva FA (2021) Data processing on edge and cloud: a performability evaluation and sensitivity analysis. J Netw Syst Manag 29(3):27","journal-title":"J Netw Syst Manag"},{"issue":"4","key":"222_CR34","doi-asserted-by":"publisher","first-page":"1595","DOI":"10.3390\/s22041595","volume":"22","author":"FA Silva","year":"2022","unstructured":"Silva FA, Brito C, Ara\u00fajo G, F\u00e9 I, Tyan M, Lee J-W, Nguyen TA, Maciel PRM (2022) Model-driven impact quantification of energy resource redundancy and server rejuvenation on the dependability of medical sensor networks in smart hospitals. Sensors 22(4):1595","journal-title":"Sensors"},{"issue":"23","key":"222_CR35","doi-asserted-by":"publisher","first-page":"9485","DOI":"10.3390\/s23239485","volume":"23","author":"LG Silva","year":"2023","unstructured":"Silva LG, Cardoso I, Brito C, Barbosa V, Nogueira B, Choi E, Nguyen TA, Min D, Lee JW, Silva FA (2023) Urban advanced mobility dependability: a model-based quantification on vehicular ad hoc networks with virtual machine migration. Sensors 23(23):9485","journal-title":"Sensors"},{"issue":"4","key":"222_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2764465","volume":"47","author":"M Sookhak","year":"2015","unstructured":"Sookhak M, Gani A, Talebian H, Akhunzada A, Khan SU, Buyya R, Zomaya AY (2015) Remote data auditing in cloud computing environments: A survey, taxonomy, and open issues. ACM Comput Surv (CSUR) 47(4):1\u201334","journal-title":"ACM Comput Surv (CSUR)"},{"key":"222_CR37","doi-asserted-by":"crossref","unstructured":"Srivastava J, Routray S, Ahmad S, Waris MM (2022) Internet of medical things (iomt)-based smart healthcare system: trends and progress. Comput Intell Neurosci","DOI":"10.1155\/2022\/7218113"},{"key":"222_CR38","doi-asserted-by":"crossref","unstructured":"Strielkina A, Kharchenko V, Uzun D (2018) Availability models for healthcare iot systems: Classification and research considering attacks on vulnerabilities. In: 2018 IEEE 9th international conference on dependable systems, services and technologies (DESSERT), pp 58\u201362","DOI":"10.1109\/DESSERT.2018.8409099"},{"key":"222_CR39","doi-asserted-by":"crossref","unstructured":"Valentim T, Callou G, Vinicius A, Fran\u00e7a C, Tavares E (2023) Availability assessment of internet of medical things architecture using private cloud. In: Anais do L Semin\u00e1rio Integrado de Software e Hardware, pp 13\u201323","DOI":"10.5753\/semish.2023.229386"},{"key":"222_CR40","doi-asserted-by":"crossref","unstructured":"Volovoi V (2006) Stochastic petri nets modeling using spn@. In: RAMS\u201906. Annual Reliability and Maintainability Symposium, 2006, pp 75\u201381","DOI":"10.1109\/RAMS.2006.1677353"}],"container-title":["Journal of Reliable Intelligent Environments"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-024-00222-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s40860-024-00222-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s40860-024-00222-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,1]],"date-time":"2024-11-01T18:08:12Z","timestamp":1730484492000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s40860-024-00222-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,13]]},"references-count":40,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2024,12]]}},"alternative-id":["222"],"URL":"https:\/\/doi.org\/10.1007\/s40860-024-00222-2","relation":{},"ISSN":["2199-4668","2199-4676"],"issn-type":[{"value":"2199-4668","type":"print"},{"value":"2199-4676","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,13]]},"assertion":[{"value":"19 November 2023","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"1 May 2024","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"13 May 2024","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors have no relevant financial or non-financial interests to disclose.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}},{"value":"Not applicable.","order":3,"name":"Ethics","group":{"name":"EthicsHeading","label":"Ethical approval"}}]}}