{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T17:59:15Z","timestamp":1770832755768,"version":"3.50.1"},"reference-count":40,"publisher":"Springer Science and Business Media LLC","issue":"16","license":[{"start":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T00:00:00Z","timestamp":1683676800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,5,10]],"date-time":"2023-05-10T00:00:00Z","timestamp":1683676800000},"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 Supercomput"],"published-print":{"date-parts":[[2023,11]]},"DOI":"10.1007\/s11227-023-05342-9","type":"journal-article","created":{"date-parts":[[2023,5,11]],"date-time":"2023-05-11T05:27:06Z","timestamp":1683782826000},"page":"17919-17943","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Blockchain as a service environment: a dependability evaluation"],"prefix":"10.1007","volume":"79","author":[{"given":"Leonel Feitosa","family":"Correia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jamilson Ramalho","family":"Dantas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francisco Airton","family":"Silva","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,5,10]]},"reference":[{"key":"5342_CR1","doi-asserted-by":"crossref","unstructured":"Abreu PW, Aparicio M, Costa CJ (2018) Blockchain technology in the auditing environment. In: 2018 13th Iberian Conference on Information Systems and Technologies (CISTI), pp. 1\u20136. IEEE","DOI":"10.23919\/CISTI.2018.8399460"},{"key":"5342_CR2","volume-title":"Blockchain for dummies","author":"T Laurence","year":"2019","unstructured":"Laurence T (2019) Blockchain for dummies. Wiley, London"},{"key":"5342_CR3","volume-title":"Blockchain: blueprint for a new economy","author":"M Swan","year":"2015","unstructured":"Swan M (2015) Blockchain: blueprint for a new economy. O\u2019Reilly Media, Inc, California"},{"key":"5342_CR4","unstructured":"Mougayar W (2018) Blockchain para neg\u00f3cios: promessa, pr\u00e1tica e aplica\u00e7\u00e3o da nova tecnologia da internet. Alta Books Editora"},{"issue":"3","key":"5342_CR5","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s12599-017-0467-3","volume":"59","author":"M Nofer","year":"2017","unstructured":"Nofer M, Gomber P, Hinz O, Schiereck D (2017) Blockchain. Bus Inf Syst Eng 59(3):183\u2013187","journal-title":"Bus Inf Syst Eng"},{"issue":"4","key":"5342_CR6","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T Murata","year":"1989","unstructured":"Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541\u2013580","journal-title":"Proc IEEE"},{"key":"5342_CR7","unstructured":"Marsan A (1995) Modelling with generalized stochastic Petri nets. Wiley series in parallel computing. Wiley"},{"key":"5342_CR8","unstructured":"Trivedi K (2002) Probability and statistics with reliability, queueing, and computer science applications. Wiley Interscience Publication, 2 edn"},{"key":"5342_CR9","doi-asserted-by":"crossref","unstructured":"Melo C, Dantas J, Oliveira D, Iure F, Matos R, Dantas R, Maciel R, Maciel P (2018) Dependability evaluation of a blockchain-as-a-service environment. In: 2018 IEEE Symposium on Computers and Communications (ISCC), pp. 00909\u201300914. IEEE","DOI":"10.1109\/ISCC.2018.8538752"},{"key":"5342_CR10","doi-asserted-by":"crossref","unstructured":"Rodrigues M, Vasconcelos B, Gomes C, Tavares E (2019) Evaluation of nosql DBMS in private cloud environment: an approach based on stochastic modeling. In: 2019 IEEE International Systems Conference (SysCon), pp. 1\u20137. IEEE","DOI":"10.1109\/SYSCON.2019.8836864"},{"key":"5342_CR11","doi-asserted-by":"crossref","unstructured":"Liu Y, Li X, Lin Y, Kang R, Xiao L (2017) A colored generalized stochastic petri net simulation model for service reliability evaluation of active-active cloud data center based on it infrastructure. In: 2017 2nd International Conference on System Reliability and Safety (ICSRS), pp. 51\u201356. IEEE","DOI":"10.1109\/ICSRS.2017.8272796"},{"key":"5342_CR12","doi-asserted-by":"crossref","unstructured":"Jammal M, Kanso A, Heidari P, Shami A (2017) Evaluating high availability-aware deployments using stochastic petri net model and cloud scoring selection tool. IEEE Trans Serv Comput","DOI":"10.1109\/TSC.2017.2781730"},{"key":"5342_CR13","doi-asserted-by":"crossref","unstructured":"Zabala L, Solozabal R, Ferro A, Blanco B (2018) Model of a virtual firewall based on stochastic petri nets. In: 2018 IEEE 17th International Symposium on Network Computing and Applications (NCA), pp. 1\u20134. IEEE","DOI":"10.1109\/NCA.2018.8548250"},{"key":"5342_CR14","doi-asserted-by":"crossref","unstructured":"Mendon\u00e7a J, Lima R, Matos R, Ferreira J, Andrade E (2018) Availability analysis of a disaster recovery solution through stochastic models and fault injection experiments. In: 2018 IEEE 32nd International Conference on Advanced Information Networking and Applications (AINA), pp. 135\u2013142. IEEE","DOI":"10.1109\/AINA.2018.00032"},{"issue":"5","key":"5342_CR15","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1109\/TMC.2017.2749577","volume":"17","author":"FA Silva","year":"2017","unstructured":"Silva FA, Kosta S, Rodrigues M, Oliveira D, Maciel T, Mei A, Maciel P (2017) Mobile cloud performance evaluation using stochastic models. IEEE Trans Mob Comput 17(5):1134\u20131147","journal-title":"IEEE Trans Mob Comput"},{"key":"5342_CR16","doi-asserted-by":"crossref","unstructured":"Pinheiro T, Silva FA, Fe I, Kosta S, Maciel P (2018) Performance and data traffic analysis of mobile cloud environments. In: 2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 4100\u20134105. IEEE","DOI":"10.1109\/SMC.2018.00695"},{"key":"5342_CR17","doi-asserted-by":"crossref","unstructured":"Jammal M, Kanso A, Heidari P, Shami A (2016) Availability analysis of cloud deployed applications. In: 2016 IEEE International Conference on Cloud Engineering (IC2E), pp. 234\u2013235. IEEE","DOI":"10.1109\/IC2E.2016.44"},{"key":"5342_CR18","doi-asserted-by":"crossref","unstructured":"Fe I, Matos R, Dantas J, Melo C, Maciel P (2017) Stochastic model of performance and cost for auto-scaling planning in public cloud. In: 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp. 2081\u20132086. IEEE","DOI":"10.1109\/SMC.2017.8122926"},{"key":"5342_CR19","doi-asserted-by":"crossref","unstructured":"Das D, Banerjee S, Chatterjee P, Ghosh U, Mansoor W, Biswas U (2022) Design of an automated blockchain-enabled vehicle data management system. In: 2022 5th International Conference on Signal Processing and Information Security (ICSPIS), pp. 22\u201325. IEEE","DOI":"10.1109\/ICSPIS57063.2022.10002493"},{"key":"5342_CR20","doi-asserted-by":"crossref","unstructured":"Das D, Banerjee S, Chatterjee P, Ghosh U, Biswas U (2022) A secure blockchain enabled v2v communication system using smart contracts. IEEE Trans Intell Transp Syst","DOI":"10.1109\/TITS.2022.3226626"},{"key":"5342_CR21","doi-asserted-by":"crossref","unstructured":"Das D, Banerjee S, Chatterjee P, Ghosh U, Biswas U, Mansoor W (2023) Security, trust, and privacy management framework in cyber-physical systems using blockchain. In: 2023 IEEE 20th Consumer Communications & Networking Conference (CCNC), pp. 1\u20136. IEEE","DOI":"10.1109\/CCNC51644.2023.10060483"},{"key":"5342_CR22","doi-asserted-by":"crossref","unstructured":"Rodrigues L, Endo PT, Silva FA (2019) Stochastic model for evaluating smart hospitals performance. In: 2019 IEEE Latin-American Conference on Communications (LATINCOM), pp. 1\u20136. IEEE","DOI":"10.1109\/LATINCOM48065.2019.8937944"},{"key":"5342_CR23","doi-asserted-by":"crossref","unstructured":"Ferreira L, da\u00a0Silva RE, Monteiro KHC, Santos GL, Silva FA, Kelner J, Sadok D, Bastos\u00a0Filho CJA, Rosati P, Lynn T, et\u00a0al. (2019) Optimizing resource availability in composable data center infrastructures. In: 2019 9th Latin-American Symposium on Dependable Computing (LADC), pp. 1\u201310. IEEE","DOI":"10.1109\/LADC48089.2019.8995719"},{"issue":"4","key":"5342_CR24","first-page":"615","volume":"21","author":"SG Leoni","year":"2020","unstructured":"Leoni SG, Demis G, Judith K, Djamel S, Airton SF, Takako EP, Theo L (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"},{"key":"5342_CR25","doi-asserted-by":"crossref","unstructured":"Silva FA, F\u00e9 I, Gon\u00e7alves G (2020) Stochastic models for performance and cost analysis of a hybrid cloud and fog architecture. J Supercomput","DOI":"10.1007\/s11227-020-03310-1"},{"key":"5342_CR26","doi-asserted-by":"crossref","unstructured":"Carvalho D, Rodrigues L, Endo PT, Kosta S, Silva FA (2020) Mobile edge computing performance evaluation using stochastic petri nets. In: 2020 IEEE Symposium on Computers and Communications (ISCC), pp. 1\u20136. IEEE","DOI":"10.1109\/ISCC50000.2020.9219650"},{"issue":"5","key":"5342_CR27","doi-asserted-by":"publisher","first-page":"1134","DOI":"10.1109\/TMC.2017.2749577","volume":"17","author":"SF Airton","year":"2018","unstructured":"Airton SF, Sokol K, Matheus R, Danilo O, Teresa M, Alessandro M, Paulo M (2018) Mobile cloud performance evaluation using stochastic models. IEEE Trans Mob Comput 17(5):1134\u20131147","journal-title":"IEEE Trans Mob Comput"},{"issue":"8","key":"5342_CR28","doi-asserted-by":"publisher","first-page":"4060","DOI":"10.1007\/s11227-018-2414-6","volume":"74","author":"TF da Silva Pinheiro","year":"2018","unstructured":"da Silva Pinheiro TF, Silva FA, F\u00e9 I, Kosta S, Maciel P (2018) Performance prediction for supporting mobile applications\u2019 offloading. J Supercomput 74(8):4060\u20134103","journal-title":"J Supercomput"},{"key":"5342_CR29","doi-asserted-by":"crossref","unstructured":"Silva FA, Rodrigues M, Maciel P, Kosta S, Mei A (2015) Planning mobile cloud infrastructures using stochastic petri nets and graphic processing units. In: 2015 IEEE 7th International Conference on Cloud Computing Technology and Science (CloudCom), pp. 471\u2013474. IEEE","DOI":"10.1109\/CloudCom.2015.46"},{"issue":"7","key":"5342_CR30","doi-asserted-by":"publisher","first-page":"2191","DOI":"10.1002\/qre.1927","volume":"32","author":"C Igor","year":"2016","unstructured":"Igor C, Jean A, Jamilson D, Eliomar C, Airton SF, Paulo M (2016) Availability evaluation and sensitivity analysis of a mobile backend-as-a-service platform. Qual Reliab Eng Int 32(7):2191\u20132205","journal-title":"Qual Reliab Eng Int"},{"key":"5342_CR31","volume-title":"Redes de computadores e a internet","author":"JF Kurose","year":"2006","unstructured":"Kurose JF, Ross KW (2006) Redes de computadores e a internet. Person, S\u00e3o Paulo"},{"issue":"21","key":"5342_CR32","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"},{"issue":"3","key":"5342_CR33","doi-asserted-by":"publisher","first-page":"1","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):1\u201324","journal-title":"J Netw Syst Manag"},{"issue":"12","key":"5342_CR34","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1049\/ell2.12502","volume":"58","author":"SF Airton","year":"2022","unstructured":"Airton SF, Iure F, Carlos B, Gabriel A, Leonel F, Eunmi C, Dugki M, Anh NT (2022) Supporting availability evaluation of a smart building monitoring system aided by fog computing. Electron Lett 58(12):471\u2013473","journal-title":"Electron Lett"},{"issue":"3","key":"5342_CR35","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1504\/IJSNET.2021.117229","volume":"36","author":"A Gabriel","year":"2021","unstructured":"Gabriel A, La\u00e9cio R, Kelly O, Iure F, Razib K, Airton SF (2021) Vehicular cloud computing networks: availability modelling and sensitivity analysis. Int J Sens Netw 36(3):125\u2013138","journal-title":"Int J Sens Netw"},{"key":"5342_CR36","doi-asserted-by":"crossref","unstructured":"Araujo E, Dantas J, Matos R, Pereira P, Maciel P (2019) Dependability evaluation of an IoT system: a hierarchical modelling approach. In: 2019 IEEE International Conference on Systems, Man and Cybernetics (SMC), pp. 2121\u20132126. IEEE","DOI":"10.1109\/SMC.2019.8914032"},{"key":"5342_CR37","doi-asserted-by":"crossref","unstructured":"Oliveira D, Matos R, Dantas J, Ferreira J, Silva B, Callou G, Maciel P, Brinkmann A (2017) Advanced stochastic petri net modeling with the mercury scripting language. In: Proceedings of the 11th EAI International Conference on Performance Evaluation Methodologies and Tools, pp. 192\u2013197","DOI":"10.1145\/3150928.3150959"},{"issue":"7","key":"5342_CR38","doi-asserted-by":"publisher","first-page":"1366","DOI":"10.1109\/TKDE.2017.2781227","volume":"30","author":"TAD Tien","year":"2018","unstructured":"Tien TAD, Rui L, Meihui Z, Gang C, Chin OB, Ji W (2018) Untangling blockchain: a data processing view of blockchain systems. IEEE Trans Knowl Data Eng 30(7):1366\u20131385","journal-title":"IEEE Trans Knowl Data Eng"},{"key":"5342_CR39","doi-asserted-by":"crossref","unstructured":"Weber I, Gramoli V, Ponomarev A, Staples M, Holz R, Tran AB, Rimba P (2017) On availability for blockchain-based systems. In: 2017 IEEE 36th Symposium on Reliable Distributed Systems (SRDS), pp. 64\u201373. IEEE","DOI":"10.1109\/SRDS.2017.15"},{"key":"5342_CR40","doi-asserted-by":"crossref","unstructured":"Pongnumkul S, Siripanpornchana C, Thajchayapong S (2017) Performance analysis of private blockchain platforms in varying workloads. In: 2017 26th International Conference on Computer Communication and Networks (ICCCN), pp. 1\u20136. IEEE","DOI":"10.1109\/ICCCN.2017.8038517"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05342-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-023-05342-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-023-05342-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,18]],"date-time":"2023-09-18T08:04:21Z","timestamp":1695024261000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-023-05342-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,10]]},"references-count":40,"journal-issue":{"issue":"16","published-print":{"date-parts":[[2023,11]]}},"alternative-id":["5342"],"URL":"https:\/\/doi.org\/10.1007\/s11227-023-05342-9","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"value":"0920-8542","type":"print"},{"value":"1573-0484","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,5,10]]},"assertion":[{"value":"24 April 2023","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 May 2023","order":2,"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"}}]}}