{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,24]],"date-time":"2026-04-24T06:33:33Z","timestamp":1777012413854,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":44,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,11,26]],"date-time":"2024-11-26T00:00:00Z","timestamp":1732579200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,11,26]]},"DOI":"10.1145\/3697090.3697104","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"210-219","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A Stochastic Petri Net-Based Approach for Evaluating the Performability of Internet of Medical Things"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8927-7342","authenticated-orcid":false,"given":"Thiago","family":"Bezerra","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7997-374X","authenticated-orcid":false,"given":"Gustavo","family":"Callou","sequence":"additional","affiliation":[{"name":"Federal Rural University of Pernambuco, Recife, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0009-0001-1746-9759","authenticated-orcid":false,"given":"Cleunio","family":"Fran\u00e7a","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6778-299X","authenticated-orcid":false,"given":"Eduardo Antonio Guimaraes","family":"Tavares","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Brazil"}]}],"member":"320","published-online":{"date-parts":[[2024,12,10]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Naeem\u00a0Ali Askar Adib Habbal Alaa\u00a0Hamid Mohammed Mohd\u00a0Samsu Sajat Ziyodulla Yusupov and Dilshod Kodirov. 2022. Architecture Protocols and Applications of the Internet of Medical Things (IoMT). Journal of Communications 17 11 (2022)."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICACCS48705.2020.9074293"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"T Cisco and A Internet. 2020. Cisco: 2020 CISO benchmark report. Comput. Fraud Secur. 2020 3 (2020) 4\u20134.","DOI":"10.1016\/S1361-3723(20)30026-9"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"Danilo Clemente Paulo Pereira Jamilson Dantas and Paulo Maciel. 2022. Availability evaluation of system service hosted in private cloud computing through hierarchical modeling process. The Journal of Supercomputing 78 7 (2022) 9985\u201310024.","DOI":"10.1007\/s11227-021-04217-1"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Said El\u00a0Kafhali and Khaled Salah. 2019. Performance modelling and analysis of Internet of Things enabled healthcare monitoring systems. IET Networks 8 1 (2019) 48\u201358.","DOI":"10.1049\/iet-net.2018.5067"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICITIIT57246.2023.10068616"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Atonu Ghosh Ruelia Saha and Sudip Misra. 2022. Persistent service provisioning framework for IoMT based emergency mobile healthcare units. IEEE Journal of Biomedical and Health Informatics 26 12 (2022) 5851\u20135858.","DOI":"10.1109\/JBHI.2022.3172624"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1109\/OCIT56763.2022.00098"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Rachida Hireche Houssem Mansouri and Al-Sakib\u00a0Khan Pathan. 2022. Security and privacy management in Internet of Medical Things (IoMT): A synthesis. Journal of Cybersecurity and Privacy 2 3 (2022) 640\u2013661.","DOI":"10.3390\/jcp2030033"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Md\u00a0Milon Islam Sheikh Nooruddin Fakhri Karray and Ghulam Muhammad. 2022. Internet of Things: Device Capabilities Architectures Protocols and Smart Applications in Healthcare Domain. IEEE Internet of Things Journal 10 4 (2022) 3611\u20133641.","DOI":"10.1109\/JIOT.2022.3228795"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02481-8_134"},{"key":"e_1_3_3_1_13_2","unstructured":"Gulraiz\u00a0J Joyia Rao\u00a0M Liaqat Aftab Farooq and Saad Rehman. 2017. Internet of medical things (IoMT): Applications benefits and future challenges in healthcare domain. J. Commun. 12 4 (2017) 240\u2013247."},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2009.64"},{"key":"e_1_3_3_1_15_2","volume-title":"Optimal reliability modeling: principles and applications","author":"Kuo Way","year":"2003","unstructured":"Way Kuo and Ming\u00a0J Zuo. 2003. Optimal reliability modeling: principles and applications. John Wiley & Sons."},{"key":"e_1_3_3_1_16_2","unstructured":"Luiz\u00a0Nelson Lima Arthur Sabino Vandirleya Barbosa Leonel Feitosa Carlos Brito Jean Araujo and Francisco\u00a0Airton Silva. 2024. Dependability analysis and disaster recovery measures in smart hospital systems. Journal of Reliable Intelligent Environments (2024) 1\u201317."},{"key":"e_1_3_3_1_17_2","volume-title":"Performance, reliability, and availability evaluation of computational systems, volume I: performance and background","author":"Maciel Paulo Romero\u00a0Martins","year":"2022","unstructured":"Paulo Romero\u00a0Martins Maciel. 2022. Performance, reliability, and availability evaluation of computational systems, volume I: performance and background. Chapman and Hall\/CRC."},{"key":"e_1_3_3_1_18_2","doi-asserted-by":"publisher","DOI":"10.1109\/UPCON56432.2022.9986439"},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Marco Marcozzi Orhan Gemikonakli Eser Gemikonakli Enver Ever and Leonardo Mostarda. 2023. Availability evaluation of IoT systems with Byzantine fault-tolerance for mission-critical applications. Internet of Things 23 (2023) 100889.","DOI":"10.1016\/j.iot.2023.100889"},{"key":"e_1_3_3_1_20_2","volume-title":"Applied statistics and probability for engineers","author":"Montgomery Douglas\u00a0C","year":"2010","unstructured":"Douglas\u00a0C Montgomery and George\u00a0C Runger. 2010. Applied statistics and probability for engineers. John wiley & sons."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"crossref","unstructured":"Tadao Murata. 1989. Petri nets: Properties analysis and applications. Proc. IEEE 77 4 (1989) 541\u2013580.","DOI":"10.1109\/5.24143"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"crossref","unstructured":"Tuan\u00a0Anh Nguyen Iure Fe Carlos Brito Vishnu\u00a0Kumar Kaliappan Eunmi Choi Dugki Min Jae\u00a0Woo Lee and Francisco\u00a0Airton Silva. 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 (2021) 6253.","DOI":"10.3390\/s21186253"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Tuan\u00a0Anh Nguyen Dugki Min Eunmi Choi and Jae-Woo Lee. 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 of Things Journal 8 21 (2021) 15704\u201315748.","DOI":"10.1109\/JIOT.2021.3081420"},{"key":"e_1_3_3_1_24_2","unstructured":"George Novacek. 2022. Tips for Predicting Product Reliability. https:\/\/circuitcellar.com\/cc-blog\/tips-for-predicting-product-reliability\/. Accessed: 2023-09-10."},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"Slavko\u00a0J Pokorni. 2019. Reliability and availability of the Internet of things. Vojnotehnicki glasnik\/Military Technical Courier 67 3 (2019) 588\u2013600.","DOI":"10.5937\/vojtehg67-21363"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Amir\u00a0M Rahmani Tuan\u00a0Nguyen Gia Behailu Negash Arman Anzanpour Iman Azimi Mingzhe Jiang and Pasi Liljeberg. 2018. Exploiting smart e-Health gateways at the edge of healthcare Internet-of-Things: A fog computing approach. Future Generation Computer Systems 78 (2018) 641\u2013658.","DOI":"10.1016\/j.future.2017.02.014"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"crossref","unstructured":"Amir\u00a0Masoud Rahmani and Seyedeh\u00a0Yasaman Hosseini\u00a0Mirmahaleh. 2022. Flexible-Clustering Based on Application Priority to Improve IoMT Efficiency and Dependability. Sustainability 14 17 (2022) 10666.","DOI":"10.3390\/su141710666"},{"key":"e_1_3_3_1_28_2","unstructured":"Precedence Research. 2023. Internet of Things in Healthcare Market. https:\/\/www.precedenceresearch.com\/internet-of-things-in-healthcare-market. Accessed: 2023-09-10."},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"crossref","unstructured":"La\u00e9cio Rodrigues Igor Gon\u00e7alves Iure F\u00e9 Patricia\u00a0Takako Endo and Francisco\u00a0Airton Silva. 2021. Performance and availability evaluation of an smart hospital architecture. Computing 103 (2021) 2401\u20132435.","DOI":"10.1007\/s00607-021-00979-x"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"publisher","DOI":"10.1109\/I4Tech48345.2020.9102647"},{"key":"e_1_3_3_1_31_2","doi-asserted-by":"crossref","unstructured":"Guto\u00a0Leoni Santos Demis Gomes Francisco\u00a0Airton Silva Patricia\u00a0Takako Endo and Theo Lynn. 2022. Maximising the availability of an internet of medical things system using surrogate models and nature-inspired approaches. International Journal of Grid and Utility Computing 13 2-3 (2022) 291\u2013308.","DOI":"10.1504\/IJGUC.2022.124381"},{"key":"e_1_3_3_1_32_2","doi-asserted-by":"crossref","unstructured":"Lucas Santos Benedito Cunha Iure F\u00e9 Marco Vieira and Francisco\u00a0Airton Silva. 2021. Data processing on edge and cloud: a performability evaluation and sensitivity analysis. Journal of Network and Systems Management 29 3 (2021) 27.","DOI":"10.1007\/s10922-021-09592-x"},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Yizhou Shen Shigen Shen Zongda Wu Haiping Zhou and Shui Yu. 2022. Signaling game-based availability assessment for edge computing-assisted IoT systems with malware dissemination. Journal of Information Security and Applications 66 (2022) 103140.","DOI":"10.1016\/j.jisa.2022.103140"},{"key":"e_1_3_3_1_34_2","volume-title":"Reliability of computer systems and networks: fault tolerance, analysis, and design","author":"Shooman Martin\u00a0L","year":"2003","unstructured":"Martin\u00a0L Shooman. 2003. Reliability of computer systems and networks: fault tolerance, analysis, and design. John Wiley & Sons."},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Francisco\u00a0Airton Silva Tuan\u00a0Anh Nguyen Iure F\u00e9 Carlos Brito Dugki Min and Jae-Woo Lee. 2021. Performance evaluation of an internet of healthcare things for medical monitoring using M\/M\/c\/K queuing models. IEEE Access 9 (2021) 55271\u201355283.","DOI":"10.1109\/ACCESS.2021.3071508"},{"key":"e_1_3_3_1_36_2","doi-asserted-by":"crossref","unstructured":"Krista Sorri Navonil Mustafee and Marko Sepp\u00e4nen. 2022. Revisiting IoT definitions: A framework towards comprehensive use. Technological Forecasting and Social Change 179 (2022) 121623.","DOI":"10.1016\/j.techfore.2022.121623"},{"key":"e_1_3_3_1_37_2","doi-asserted-by":"crossref","unstructured":"Erica Sousa Fernando Lins Eduardo Tavares and Paulo Maciel. 2017. Cloud infrastructure planning considering different redundancy mechanisms. Computing 99 (2017) 841\u2013864.","DOI":"10.1007\/s00607-016-0533-6"},{"key":"e_1_3_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2004.1311937"},{"key":"e_1_3_3_1_39_2","doi-asserted-by":"crossref","unstructured":"Thiago Valentim Gustavo Callou Cleunio Fran\u00e7a and Eduardo Tavares. 2024. Availability and Performance Assessment of IoMT Systems: A Stochastic Modeling Approach. Journal of Network and Systems Management 32 4 (2024) 95.","DOI":"10.1007\/s10922-024-09868-y"},{"key":"e_1_3_3_1_40_2","doi-asserted-by":"publisher","DOI":"10.5753\/semish.2023.229386"},{"key":"e_1_3_3_1_41_2","doi-asserted-by":"crossref","unstructured":"Damini Verma Kshitij\u00a0RB Singh Amit\u00a0K Yadav Vanya Nayak Jay Singh Pratima\u00a0R Solanki and Ravindra\u00a0Pratap Singh. 2022. Internet of things (IoT) in nano-integrated wearable biosensor devices for healthcare applications. Biosensors and Bioelectronics: X 11 (2022) 100153.","DOI":"10.1016\/j.biosx.2022.100153"},{"key":"e_1_3_3_1_42_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS48716.2020.243558"},{"key":"e_1_3_3_1_43_2","unstructured":"Khin\u00a0Thet Wai Nyan\u00a0Phyo Aung and Lwin\u00a0Lwin Htay. 2019. Internet of things (IoT) based healthcare monitoring system using NodeMCU and Arduino UNO. Published in International Journal of Trend in Scientific Research and Development (ijtsrd) 3 5 (2019) 755\u2013759."},{"key":"e_1_3_3_1_44_2","doi-asserted-by":"crossref","unstructured":"Liudong Xing. 2020. Reliability in Internet of Things: Current status and future perspectives. IEEE Internet of Things Journal 7 8 (2020) 6704\u20136721.","DOI":"10.1109\/JIOT.2020.2993216"},{"key":"e_1_3_3_1_45_2","first-page":"1","volume-title":"13th GI\/ITG Conference - Measuring, Modelling and Evaluation of Computer and Communication Systems","author":"Zimmermann A.;","year":"2006","unstructured":"A.; Zimmermann and et al.2006. Towards Version 4.0 of TimeNET. In 13th GI\/ITG Conference - Measuring, Modelling and Evaluation of Computer and Communication Systems. 1\u20134."}],"event":{"name":"LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing","location":"Recife Brazil","acronym":"LADC 2024"},"container-title":["Proceedings of the 13th Latin-American Symposium on Dependable and Secure Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697104","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3697104","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T01:17:33Z","timestamp":1750295853000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3697090.3697104"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":44,"alternative-id":["10.1145\/3697090.3697104","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3697104","relation":{},"subject":[],"published":{"date-parts":[[2024,11,26]]},"assertion":[{"value":"2024-12-10","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}