{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,28]],"date-time":"2025-08-28T00:06:12Z","timestamp":1756339572799,"version":"3.44.0"},"reference-count":16,"publisher":"IEEE","license":[{"start":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T00:00:00Z","timestamp":1285891200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T00:00:00Z","timestamp":1285891200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,10]]},"DOI":"10.1109\/icsmc.2010.5641852","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T16:35:53Z","timestamp":1291134953000},"page":"783-790","source":"Crossref","is-referenced-by-count":12,"title":["ASTRO: A tool for dependability evaluation of Data Center infrastructures"],"prefix":"10.1109","author":[{"given":"B.","family":"Silva","sequence":"first","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Maciel","sequence":"additional","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Tavares","sequence":"additional","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C.","family":"Araujo","sequence":"additional","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Callou","sequence":"additional","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"E.","family":"Sousa","sequence":"additional","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Rosa","sequence":"additional","affiliation":[{"name":"Center for Informatics (CIn), Federal University of Pernambuco (UFPE), Recife, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Marwah","sequence":"additional","affiliation":[{"name":"HP Labs, Palo Alto, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.","family":"Sharma","sequence":"additional","affiliation":[{"name":"HP Labs, Palo Alto, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Shah","sequence":"additional","affiliation":[{"name":"HP Labs, Palo Alto, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"T.","family":"Christian","sequence":"additional","affiliation":[{"name":"HP Labs, Palo Alto, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.P.","family":"Pires","sequence":"additional","affiliation":[{"name":"HP Labs, Palo Alto, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/76738.76772"},{"journal-title":"Optimal Reliability Modeling Principles and Applications","year":"2003","author":"kuo","key":"ref11"},{"journal-title":"Applications of Petri Nets in Manufacturing Systems Modeling Control and Performance Analysis","year":"1995","author":"desrochers","key":"ref12"},{"journal-title":"Performance Analysis of Communication Systems with Non-Markovian Stochastic Petri Nets","year":"2000","author":"german","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"journal-title":"Design of Reliable Industrial and Commercial Power Systems Gold Book","year":"0","key":"ref15"},{"year":"2003","key":"ref16","article-title":"Comparing availability of various rack power redundancy conŒgurations"},{"key":"ref4","first-page":"29","article-title":"Matrix Product Form Solution For Closed Synchronized Queuing Networks","author":"natkin","year":"1990","journal-title":"Petri Nets and Performance Models"},{"key":"ref3","article-title":"Fundamental Concepts of Dependability","author":"avizienis","year":"2001","journal-title":"Technical Report Series-University of Newcastle Upon Tyne Computing Science"},{"year":"0","key":"ref6","article-title":"Blocksim tool"},{"journal-title":"System Reliability Theory Models and Statistical Methods","year":"2004","author":"rausand","key":"ref5"},{"year":"0","key":"ref8","article-title":"Relex tool"},{"journal-title":"Probability and Statistics with Reliability Queueing and Computer Science Applications","year":"2001","author":"trivedi","key":"ref7"},{"article-title":"A simple way to estimate the cost of downtime","year":"2002","author":"patterson","key":"ref2"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1496091.1496100"},{"key":"ref9","article-title":"Reliability modeling using sharpe","author":"sahner","year":"1986","journal-title":"Tech Rep"}],"event":{"name":"2010 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2010,10,10]]},"location":"Istanbul, Turkey","end":{"date-parts":[[2010,10,13]]}},"container-title":["2010 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5629466\/5641665\/05641852.pdf?arnumber=5641852","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,27]],"date-time":"2025-08-27T18:23:05Z","timestamp":1756318985000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5641852\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,10]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2010.5641852","relation":{},"subject":[],"published":{"date-parts":[[2010,10]]}}}