{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T05:04:45Z","timestamp":1750309485132,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"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.3697097","type":"proceedings-article","created":{"date-parts":[[2024,12,11]],"date-time":"2024-12-11T07:06:08Z","timestamp":1733900768000},"page":"38-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Modeling Availability in Softwarized MEC: Integrating a Fault Injection Tool for Effective Validation"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6721-237X","authenticated-orcid":false,"given":"Erick","family":"Nascimento","sequence":"first","affiliation":[{"name":"Federal University of Pernambuco, Recife, Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"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, Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9009-7659","authenticated-orcid":false,"given":"Jamilson","family":"Dantas","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4021-9069","authenticated-orcid":false,"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[{"name":"Federal University of Pernambuco, Recife, Pernambuco, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,12,10]]},"reference":[{"key":"e_1_3_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/WAINA.2018.00126"},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICCMC48092.2020.ICCMC-000179"},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2019.8914032"},{"key":"e_1_3_3_1_5_2","doi-asserted-by":"crossref","unstructured":"A. Avizienis J.-C. Laprie B. Randell and C. Landwehr. 2004. Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing 1 1 (2004) 11\u201333.","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Dimiter Avresky Jean Arlat J-C Laprie and Yves Crouzet. 1996. Fault injection for formal testing of fault tolerance. IEEE Transactions on Reliability 45 3 (1996) 443\u2013455.","DOI":"10.1109\/24.537015"},{"key":"e_1_3_3_1_7_2","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2014.6974519"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"crossref","unstructured":"Bego Blanco Jose\u00a0Oscar Fajardo Ioannis Giannoulakis Emmanouil Kafetzakis Shuping Peng Jordi P\u00e9rez-Romero Irena Trajkovska Pouria\u00a0S Khodashenas Leonardo Goratti Michele Paolino et\u00a0al. 2017. Technology pillars in the architecture of future 5G mobile networks: NFV MEC and SDN. Computer Standards & Interfaces 54 (2017) 216\u2013228.","DOI":"10.1016\/j.csi.2016.12.007"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"crossref","unstructured":"Cristiana Bolchini Luca Cassano Antonio Miele and Alessandro Toschi. 2022. Fast and accurate error simulation for cnns against soft errors. IEEE Trans. Comput. 72 4 (2022) 984\u2013997.","DOI":"10.1109\/TC.2022.3184274"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"publisher","DOI":"10.23919\/CISTI52073.2021.9476627"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Alireza Ejlali and Seyed\u00a0Ghassem Miremadi. 2004. FPGA-based fault injection into switch-level models. Microprocessors and Microsystems 28 5-6 (2004) 317\u2013327.","DOI":"10.1016\/j.micpro.2004.03.007"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"crossref","unstructured":"GRMEC ETSI. 2018. Mobile edge computing (mec); deployment of mobile edge computing in an NFV environment. ETSI ISG Feb V1.1.1 (2018) 32.","DOI":"10.1155\/2018\/7291954"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2012.6363992"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC48688.2020.0-189"},{"key":"e_1_3_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.21236\/AD0617716"},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"publisher","DOI":"10.1109\/DTIS.2015.7127370"},{"key":"e_1_3_3_1_17_2","doi-asserted-by":"crossref","unstructured":"Diego Kreutz Fernando\u00a0MV Ramos Paulo\u00a0Esteves Verissimo Christian\u00a0Esteve Rothenberg Siamak Azodolmolky and Steve Uhlig. 2014. Software-defined networking: A comprehensive survey. Proc. IEEE 103 1 (2014) 14\u201376.","DOI":"10.1109\/JPROC.2014.2371999"},{"key":"e_1_3_3_1_18_2","first-page":"1767\u20131771 vol.3","volume-title":"Proceedings of ICC\/SUPERCOMM\u201994 - 1994 International Conference on Communications","author":"Li Tsanchi","year":"1994","unstructured":"Tsanchi Li, Chi-Ming Chen, B. Horgan, M.Y. Lai, and S.Y. Wang. 1994. A software fault insertion testing methodology for improving the robustness of telecommunications systems. In Proceedings of ICC\/SUPERCOMM\u201994 - 1994 International Conference on Communications. IEEE, International Conference on Communications ICC, 1767\u20131771 vol.3."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"crossref","unstructured":"Madhusanka Liyanage Pawani Porambage Aaron\u00a0Yi Ding and Anshuman Kalla. 2021. Driving forces for multi-access edge computing (MEC) IoT integration in 5G. ICT Express 7 2 (2021) 127\u2013137.","DOI":"10.1016\/j.icte.2021.05.007"},{"key":"e_1_3_3_1_20_2","unstructured":"Raspberry Pi\u00a0(Trading) Ltd.2019. Raspberry Pi Datasheets \u2014 datasheets.raspberrypi.com. https:\/\/datasheets.raspberrypi.com. [Accessed 17-Jun-2024]."},{"key":"e_1_3_3_1_21_2","volume-title":"Performance, Reliability, and Availability Evaluation of Computational Systems, Volume 2: Reliability, Availability Modeling, Measuring, and Data Analysis","author":"Maciel Paulo","year":"2023","unstructured":"Paulo Maciel. 2023. Performance, Reliability, and Availability Evaluation of Computational Systems, Volume 2: Reliability, Availability Modeling, Measuring, and Data Analysis. Taylor & Francys, New York."},{"key":"e_1_3_3_1_22_2","volume-title":"Performance, reliability, and availability evaluation of computational systems, volume I: performance and background","author":"Maciel Paulo Romero\u00a0Martins","year":"2023","unstructured":"Paulo Romero\u00a0Martins Maciel. 2023. Performance, reliability, and availability evaluation of computational systems, volume I: performance and background. CRC Press, New York."},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"crossref","unstructured":"Carlos Melo Felipe Oliveira Jamilson Dantas Jean Araujo Paulo Pereira Ronierison Maciel and Paulo Maciel. 2022. Performance and availability evaluation of the blockchain platform hyperledger fabric. The Journal of Supercomputing 78 10 (2022) 12505\u201312527.","DOI":"10.1007\/s11227-022-04361-2"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.23919\/CISTI.2018.8399255"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"crossref","unstructured":"John\u00a0C Munson Allen\u00a0P Nikora and Joseph\u00a0S Sherif. 2006. Software faults: A quantifiable definition. Advances in Engineering Software 37 5 (2006) 327\u2013333.","DOI":"10.1016\/j.advengsoft.2005.07.003"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"publisher","unstructured":"Gianfranco Nencioni Bjarne\u00a0E. Helvik and Poul\u00a0E. Heegaard. 2017. Including Failure Correlation in Availability Modeling of a Software-Defined Backbone Network. IEEE Transactions on Network and Service Management 14 4 (2017) 1032\u20131045. 10.1109\/TNSM.2017.2755462 https:\/\/dl.acm.org\/doi\/10.1109\/TNSM.2017.2755462","DOI":"10.1109\/TNSM.2017.2755462"},{"key":"e_1_3_3_1_27_2","doi-asserted-by":"publisher","DOI":"10.1109\/AIIM60438.2023.10441228"},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Paulo Pereira Carlos Melo Jean Araujo Jamilson Dantas Vin\u00edcius Santos and Paulo Maciel. 2022. Availability model for edge-fog-cloud continuum: an evaluation of an end-to-end infrastructure of intelligent traffic management service. The Journal of Supercomputing 1 78 (2022) 1\u201328.","DOI":"10.1007\/s11227-021-04033-7"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","unstructured":"B. Priya and J. Malhotra. 2023. 5GhNet: an intelligent QoE aware RAT selection framework for 5G-enabled healthcare network. Proceedings of the Springer 14 7 (2023) 8387\u20138408. 10.1007\/s12652-021-03606-x","DOI":"10.1007\/s12652-021-03606-x"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"Qaisar Shafi Abdul Basit Saad Qaisar Abigail Koay and Ian Welch. 2018. Fog-assisted SDN controlled framework for enduring anomaly detection in an IoT network. IEEE Access 6 (2018) 73713\u201373723.","DOI":"10.1109\/ACCESS.2018.2884293"},{"key":"e_1_3_3_1_31_2","first-page":"1","volume-title":"Proceedings of industrial track at 45th dependable systems and networks conference, DSN","author":"Silva Bruno","year":"2015","unstructured":"Bruno Silva, Rubens Matos, Gustavo Callou, Jair Figueiredo, Danilo Oliveira, Joao Ferreira, Jamilson Dantas, Aleciano Lobo, Vandi Alves, and Paulo Maciel. 2015. Mercury: An integrated environment for performance and dependability evaluation of general systems. In Proceedings of industrial track at 45th dependable systems and networks conference, DSN. IEEE, Rio de Janeiro, Brazil, 1\u20134."},{"key":"e_1_3_3_1_32_2","volume-title":"A Comparative Evaluation of Techniques for Studying Parallel Systems","author":"Sivasubramaniam Anand","year":"1994","unstructured":"Anand Sivasubramaniam, Umakishore Ramachandran, and H Venkateswaran. 1994. A Comparative Evaluation of Techniques for Studying Parallel Systems. Technical Report. Georgia Institute of Technology."},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICTON.2019.8840430"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"crossref","unstructured":"An Wang Zili Zha Yang Guo and Songqing Chen. 2019. Software-defined networking enhanced edge computing: A network-centric survey. Proc. IEEE 107 8 (2019) 1500\u20131519.","DOI":"10.1109\/JPROC.2019.2924377"}],"event":{"name":"LADC 2024: 13th Latin-American Symposium on Dependable and Secure Computing","acronym":"LADC 2024","location":"Recife Brazil"},"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.3697097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3697090.3697097","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.3697097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,11,26]]},"references-count":33,"alternative-id":["10.1145\/3697090.3697097","10.1145\/3697090"],"URL":"https:\/\/doi.org\/10.1145\/3697090.3697097","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"}}]}}