{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:40:17Z","timestamp":1740123617643,"version":"3.37.3"},"reference-count":37,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:00:00Z","timestamp":1593043200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T00:00:00Z","timestamp":1593043200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Supercomput"],"published-print":{"date-parts":[[2021,3]]},"DOI":"10.1007\/s11227-020-03353-4","type":"journal-article","created":{"date-parts":[[2020,6,25]],"date-time":"2020-06-25T06:02:45Z","timestamp":1593064965000},"page":"2566-2589","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A model-based strategy for quantifying the impact of availability on the energy flow of data centers"],"prefix":"10.1007","volume":"77","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8927-7342","authenticated-orcid":false,"given":"Thiago","family":"Valentim","sequence":"first","affiliation":[]},{"given":"Gustavo","family":"Callou","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,6,25]]},"reference":[{"key":"3353_CR1","doi-asserted-by":"crossref","unstructured":"Andrade E, Nogueira B, Matos R, Callou G, Maciel, P (2017) Availability modeling and analysis of a disaster-recovery-as-a-service solution. Computing pp 1\u201326","DOI":"10.1007\/s00607-017-0539-8"},{"issue":"1","key":"3353_CR2","doi-asserted-by":"publisher","first-page":"117","DOI":"10.3390\/challe6010117","volume":"6","author":"AS Andrae","year":"2015","unstructured":"Andrae AS, Edler T (2015) On global electricity usage of communication technology: trends to 2030. Challenges 6(1):117\u2013157","journal-title":"Challenges"},{"issue":"4","key":"3353_CR3","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1145\/1721654.1721672","volume":"53","author":"M Armbrust","year":"2010","unstructured":"Armbrust M, Fox A, Griffith R, Joseph AD, Katz R, Konwinski A, Lee G, Patterson D, Rabkin A, Stoica I et al (2010) A view of cloud computing. Commun ACM 53(4):50\u201358","journal-title":"Commun ACM"},{"key":"3353_CR4","first-page":"1","volume":"48","author":"V Avelar","year":"2003","unstructured":"Avelar V (2003) Comparing availability of various rack power redundancy configurations. APC White Paper 48:1\u201322","journal-title":"APC White Paper"},{"key":"3353_CR5","unstructured":"Avizienis A, Laprie JC, Randell B et al (2001) Fundamental concepts of dependability. University of Newcastle upon Tyne, Computing Science"},{"key":"3353_CR6","volume-title":"Mastering cloud computing: foundations and applications programming","author":"R Buyya","year":"2013","unstructured":"Buyya R, Vecchiola C, Selvi ST (2013) Mastering cloud computing: foundations and applications programming, 1st edn. Morgan Kaufmann Publishers Inc., San Francisco","edition":"1"},{"issue":"4","key":"3353_CR7","doi-asserted-by":"publisher","first-page":"426","DOI":"10.1016\/j.micpro.2010.08.006","volume":"35","author":"G Callou","year":"2011","unstructured":"Callou G, Maciel P, Tavares E, Andrade E, Nogueira B, Araujo C, Cunha P (2011) Energy consumption and execution time estimation of embedded system applications. Microprocess Microsyst 35(4):426\u2013440","journal-title":"Microprocess Microsyst"},{"key":"3353_CR8","unstructured":"CALLOU GRdA (2013) Assessment to support the planning of sustainable data centers with high availability. Universidade Federal de Pernambuco"},{"key":"3353_CR9","unstructured":"Chaczko Z, Mahadevan V, Aslanzadeh S, Mcdermid C (2011) Availability and load balancing in cloud computing. In: International Conference on Computer and Software Modeling, Singapore, vol\u00a014"},{"issue":"8","key":"3353_CR10","doi-asserted-by":"publisher","first-page":"723","DOI":"10.1080\/00908310050120272","volume":"22","author":"I Dincer","year":"2000","unstructured":"Dincer I (2000) Thermodynamics, exergy and environmental impact. Energy Sources 22(8):723\u2013732","journal-title":"Energy Sources"},{"issue":"10","key":"3353_CR11","doi-asserted-by":"publisher","first-page":"2821","DOI":"10.3390\/en11102821","volume":"11","author":"J Ferreira","year":"2018","unstructured":"Ferreira J, Callou G, Tutsch D, Maciel P (2018) Pldadan algorihm to reduce data center energy consumption. Energies 11(10):2821","journal-title":"Energies"},{"key":"3353_CR12","unstructured":"Headquarters A (2007) Cisco data center infrastructure 2.5 design guide. Cisco Validated Design I. Cisco Systems, Inc"},{"key":"3353_CR13","unstructured":"Hewlett-Packard: Hp power advisor tool. http:\/\/h18004.www1.hp.com\/products\/solutions\/power (2013)"},{"key":"3353_CR14","doi-asserted-by":"crossref","unstructured":"Huber P, Jensen K, Shapiro RM (1989) Hierarchies in coloured petri nets. In: International Conference on Application and Theory of Petri Nets, pp 313\u2013341. Springer","DOI":"10.1007\/3-540-53863-1_30"},{"key":"3353_CR15","unstructured":"IEEE Gold Book 473, Design of Reliable Industrial and Commercial Power Systems. (2010)"},{"key":"3353_CR16","unstructured":"Janou\u0161ek V (1998) Modelling objects by petri nets. Ph.D. thesis, PhD. thesis, Brno University of Technology, Brno, Czech Republic"},{"key":"3353_CR17","doi-asserted-by":"crossref","unstructured":"Jensen K (1989) Coloured petri nets: A high level language for system design and analysis. In: International Conference on Application and Theory of Petri Nets, pp 342\u2013416. Springer","DOI":"10.1007\/3-540-53863-1_31"},{"key":"3353_CR18","doi-asserted-by":"crossref","unstructured":"Jensen K (1997) A brief introduction to coloured petri nets. In: International Workshop on Tools and Algorithms for the Construction and Analysis of Systems, pp 203\u2013208. Springer","DOI":"10.1007\/BFb0035389"},{"key":"3353_CR19","doi-asserted-by":"crossref","unstructured":"Jensen K, Kristensen LM (2009) Coloured Petri nets: modelling and validation of concurrent systems. Springer Science & Business Media","DOI":"10.1007\/b95112"},{"issue":"3\u20134","key":"3353_CR20","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen K, Kristensen LM, Wells L (2007) Coloured petri nets and cpn tools for modelling and validation of concurrent systems. Int J Softw Tools Technol Transfer 9(3\u20134):213\u2013254","journal-title":"Int J Softw Tools Technol Transfer"},{"key":"3353_CR21","unstructured":"Kemp S (2020) Digital 2020: 3.8 billion people use social media. We are social"},{"key":"3353_CR22","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"},{"issue":"7","key":"3353_CR23","doi-asserted-by":"publisher","first-page":"1006","DOI":"10.1108\/02635571111161262","volume":"111","author":"C Low","year":"2011","unstructured":"Low C, Chen Y, Wu M (2011) Understanding the determinants of cloud computing adoption. Ind Manage Data Syst 111(7):1006\u20131023","journal-title":"Ind Manage Data Syst"},{"key":"3353_CR24","doi-asserted-by":"crossref","unstructured":"Marsan MA (1988) Stochastic petri nets: an elementary introduction. In: European Workshop on Applications and Theory in Petri Nets, pp 1\u201329. Springer","DOI":"10.1007\/3-540-52494-0_23"},{"key":"3353_CR25","doi-asserted-by":"crossref","unstructured":"Melo C, Matos R, Dantas J, Maciel P (2017) Capacity-oriented availability model for resources estimation on private cloud infrastructure. In: IEEE 22nd Pacific Rim International Symposium on Dependable Computing (PRDC), 2017, pp 255\u2013260. IEEE","DOI":"10.1109\/PRDC.2017.49"},{"issue":"9","key":"3353_CR26","doi-asserted-by":"publisher","first-page":"1036","DOI":"10.1109\/TCOM.1976.1093424","volume":"24","author":"P Merlin","year":"1976","unstructured":"Merlin P, Farber D (1976) Recoverability of communication protocols-implications of a theoretical study. IEEE Trans Commun 24(9):1036\u20131043","journal-title":"IEEE Trans Commun"},{"key":"3353_CR27","unstructured":"Microsoft: Microsoft\u2013creating a greener data center. http:\/\/www.microsoft.com\/presspass\/features\/2009\/apr09\/04-02Greendatacenters.mspx (2009)"},{"key":"3353_CR28","doi-asserted-by":"crossref","unstructured":"Milner R (1997) The definition of standard ML: revised. MIT press","DOI":"10.7551\/mitpress\/2319.001.0001"},{"issue":"4","key":"3353_CR29","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":"3353_CR30","unstructured":"Petri CA (1962) Communicating with automata. Germany: PhD thesis, Technical University Darmstadt"},{"issue":"2","key":"3353_CR31","doi-asserted-by":"publisher","first-page":"1229","DOI":"10.14778\/1454159.1454162","volume":"1","author":"M Poess","year":"2008","unstructured":"Poess M, Nambiar RO (2008) Energy cost, the key challenge of today\u2019s data centers: a power consumption analysis of tpc-c results. Proc. VLDB Endow 1(2):1229\u20131240. https:\/\/doi.org\/10.14778\/1454159.1454162","journal-title":"Proc. VLDB Endow"},{"key":"3353_CR32","unstructured":"Rivoire S, Ranganathan P, Kozyrakis C (2008) A comparison of high-level full-system power models. In: Proceedings of the 2008 Conference on Power Aware Computing and Systems, HotPower\u201908, pp 3\u20133. USENIX Association, Berkeley, CA, USA . http:\/\/dl.acm.org\/citation.cfm?id=1855610.1855613"},{"key":"3353_CR33","doi-asserted-by":"crossref","unstructured":"Rocha \u00c9, Endo PT, Leoni G, Braga J, Lynn T (2017) Analyzing the impact of power infrastructure failures on cloud application availability. In: 2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC), pp 1746\u20131751. IEEE","DOI":"10.1109\/SMC.2017.8122868"},{"key":"3353_CR34","first-page":"315","volume":"19","author":"AM Sampaio","year":"2018","unstructured":"Sampaio AM, Barbosa JG (2018) A comparative cost analysis of fault-tolerance mechanisms for availability on the cloud. Sustainable Comput Inf Syst 19:315\u2013323","journal-title":"Sustainable Comput Inf Syst"},{"issue":"3","key":"3353_CR35","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.enbuild.2008.10.005","volume":"41","author":"D Schmidt","year":"2009","unstructured":"Schmidt D (2009) Low exergy systems for high-performance buildings and communities. Energy Build 41(3):331\u2013336","journal-title":"Energy Build"},{"key":"3353_CR36","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1016\/j.jlp.2016.09.007","volume":"44","author":"M Talebberrouane","year":"2016","unstructured":"Talebberrouane M, Khan F, Lounis Z (2016) Availability analysis of safety critical systems using advanced fault tree and stochastic petri net formalisms. J Loss Prev Process Ind 44:193\u2013203","journal-title":"J Loss Prev Process Ind"},{"key":"3353_CR37","doi-asserted-by":"crossref","unstructured":"Wiboonrat M (2008) An empirical study on data center system failure diagnosis. In: The Third International Conference on Internet Monitoring and Protection, 2008. ICIMP\u201908, pp 103\u2013108. IEEE","DOI":"10.1109\/ICIMP.2008.12"}],"container-title":["The Journal of Supercomputing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-020-03353-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11227-020-03353-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11227-020-03353-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,24]],"date-time":"2021-06-24T23:43:53Z","timestamp":1624578233000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11227-020-03353-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,25]]},"references-count":37,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2021,3]]}},"alternative-id":["3353"],"URL":"https:\/\/doi.org\/10.1007\/s11227-020-03353-4","relation":{},"ISSN":["0920-8542","1573-0484"],"issn-type":[{"type":"print","value":"0920-8542"},{"type":"electronic","value":"1573-0484"}],"subject":[],"published":{"date-parts":[[2020,6,25]]},"assertion":[{"value":"25 June 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}