{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T01:55:47Z","timestamp":1729648547610,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issre.2013.6698904","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:09:09Z","timestamp":1389010149000},"page":"51-60","source":"Crossref","is-referenced-by-count":6,"title":["Composing hierarchical stochastic model from SysML for system availability analysis"],"prefix":"10.1109","author":[{"given":"Fumio","family":"Machida","sequence":"first","affiliation":[]},{"given":"Jianwen","family":"Xiang","sequence":"additional","affiliation":[]},{"given":"Kumiko","family":"Tadano","sequence":"additional","affiliation":[]},{"given":"Yoshiharu","family":"Maeno","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.1999.776367"},{"key":"17","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1007\/978-1-4613-8351-2_11","article-title":"Automated generation and analysis of Markov reward models using stochastic reward nets","volume":"48","author":"ciardo","year":"1993","journal-title":"Linear Algebra Markov Chains and Queuing Models"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2011.32"},{"journal-title":"Profile for Modeling and Analysis of Real-Time and Embedded Systems (MARTE)","year":"0","key":"15"},{"key":"16","first-page":"203","volume":"40","author":"rauzy","year":"1993","journal-title":"New Algorithms for Fault Trees Analysis"},{"year":"0","key":"13"},{"key":"14","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-24485-8_41","article-title":"Applying a model-based approach to IT systems development using SysML extension","author":"izukura","year":"2011","journal-title":"Proc of Int Conf on Model Driven Engineering Languages and Systems"},{"key":"11","article-title":"Modeling high availability systems","author":"trivedi","year":"2006","journal-title":"Proc on Int'l Conf on Pacific Rim Dependability Computing (PRDC)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.1998.731591"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/ICCDA.2010.5540855"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2002.1173261"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1145\/584369.584376"},{"key":"23","article-title":"From UML to petri nets: The PCM-based methodology","author":"distefano","year":"2010","journal-title":"IEEE Transactions on Software Engineering"},{"key":"24","doi-asserted-by":"crossref","DOI":"10.1109\/ISSRE.2001.989454","article-title":"A bayesian approach to reliability prediction and assessment of component based systems","author":"singh","year":"2001","journal-title":"Proc of 12th Int Symp on Software Reliability Engineering (ISSRE01)"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2009.11.015"},{"key":"26","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00143-1"},{"journal-title":"Dynamic Fault Tree Models Techniques for Analysis of Advanced Fault Tolerant Computer Systems","year":"1991","author":"boyd","key":"3"},{"journal-title":"Dependability Evaluation Using Dynamic Reliability Block Diagrams and Dynamic Fault Trees","year":"2007","author":"distefano","key":"2"},{"journal-title":"Availability Analysis of Multicomponent Blade Server Systems","year":"2008","author":"smith","key":"10"},{"journal-title":"Fault Tree Handbook NUREG-0492","year":"1981","author":"vesely","key":"1"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1991.238780"},{"journal-title":"Bounding Availability of Repairable Computer Systems","year":"1989","author":"munrz","key":"6"},{"key":"5","first-page":"209","article-title":"Candy: Componentbased availability modeling framework for cloud service management using SysML","author":"machida","year":"2011","journal-title":"Proc of SRDS"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2010.18"},{"journal-title":"Dependency-based Decomposition of Systems Involving Rare Events","year":"2011","author":"rozier","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2011.5958247"}],"event":{"name":"2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)","start":{"date-parts":[[2013,11,4]]},"location":"Pasadena, CA, USA","end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE 24th International Symposium on Software Reliability Engineering (ISSRE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6689494\/6698873\/06698904.pdf?arnumber=6698904","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,22]],"date-time":"2017-06-22T01:23:07Z","timestamp":1498094587000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6698904\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/issre.2013.6698904","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}