{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T01:42:31Z","timestamp":1743126151590,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242694"},{"type":"electronic","value":"9783642242700"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24270-0_22","type":"book-chapter","created":{"date-parts":[[2011,9,7]],"date-time":"2011-09-07T14:51:44Z","timestamp":1315407104000},"page":"296-309","source":"Crossref","is-referenced-by-count":6,"title":["Automatic Synthesis of SRN Models from System Operation Templates for Availability Analysis"],"prefix":"10.1007","author":[{"given":"Kumiko","family":"Tadano","sequence":"first","affiliation":[]},{"given":"Jiangwen","family":"Xiang","sequence":"additional","affiliation":[]},{"given":"Masahiro","family":"Kawato","sequence":"additional","affiliation":[]},{"given":"Yoshiharu","family":"Maeno","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Wang, D., Hunt, D.J., Rindos, A., Smith, W.E., Vashaw, B.: Availability Modeling of SIP Protocol on IBM WebSphere. In: Proc. of PRDC 2008 (2008)","DOI":"10.1109\/PRDC.2008.50"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Smith, W.E., Trivedi, K.S., Tomek, L.A., Ackaret, J.: Availability analysis of blade server systems. IBM System J.\u00a047(4) (2008)","DOI":"10.1147\/SJ.2008.5386524"},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1147\/rd.452.0311","volume":"45","author":"V. Castelli","year":"2001","unstructured":"Castelli, V., Harper, R.E., Heidelberger, P., Hunter, S.W., Trivedi, K.S., Vaidyanathan, K., Zeggert, W.P.: Proactive management of software aging. IBM Journal of Research and Development\u00a045, 311\u2013332 (2001)","journal-title":"IBM Journal of Research and Development"},{"key":"22_CR4","unstructured":"OMG Unified Modeling Language (OMG UML), Superstracture Version 2.3, http:\/\/www.omg.org\/spec\/UML\/2.3\/"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"OMG Systems Modeling Language (OMG SysML) Version 1.2 (2010), http:\/\/www.omg.org\/spec\/SysML\/1.2\/","DOI":"10.1299\/jsmermd.2010._2A2-C07_1"},{"key":"22_CR6","unstructured":"The SAE Architecture Analysis & Design Language (AADL) (2009), http:\/\/standards.sae.org\/as5506a\/"},{"issue":"3","key":"22_CR7","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1093\/comjnl\/45.3.260","volume":"45","author":"G. Huszerl","year":"2002","unstructured":"Huszerl, G., Majzik, I., Pataricza, A., Kosmidis, K., Dal Cin, M.: Quantitative Analysis of UML Statechart Models of Dependable Systems. The Computer Journal\u00a045(3), 260\u2013277 (2002)","journal-title":"The Computer Journal"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Bondavalli, A., Maizik, I., Mura, I.: Automated Dependability Analysis of UML Designs. In: Proc. 2nd Int. Symp. on Objectoriented Real-time Distributed Computing, ISORC 1999 (1999)","DOI":"10.1109\/ISORC.1999.776367"},{"key":"22_CR9","doi-asserted-by":"crossref","unstructured":"Pai, G.J., Dugan, J.B.: Automatic synthesis of dynamic fault trees from UML system models. In: Proc. of the 13th Int. Symp. on Software Reliability Engineering (ISSRE 2002), pp. 243\u2013254 (2002)","DOI":"10.1109\/ISSRE.2002.1173261"},{"key":"22_CR10","doi-asserted-by":"crossref","unstructured":"Khan, R.H., Heegaard, P.E.: Translation from UML to SPN model: A performance modeling framework for managing behavior of multiple collaborative sessions and instances. In: Proc. of Int. Conf. on Computer Design and Applications, ICCDA (2010)","DOI":"10.1109\/ICCDA.2010.5540855"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Rugina, A.E., Kanoun, K., Ka\u00e2niche, M.: A System Dependability Modeling Framework Using AADL and GSPNs. In: DSN 2006 Workshops on Software Architectures for Dependable Systems (WADS 2006), pp. 14\u201338 (2006)","DOI":"10.1007\/978-3-540-74035-3_2"},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Rugina, A.E., Kanoun, K., Ka\u00e2niche, M.: The ADAPT Tool: From AADL Architectural Models to Stochastic Petri Nets through Model Transformation. In: EDCC 2008, pp. 85\u201390 (2008)","DOI":"10.1109\/EDCC-7.2008.14"},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Merseguer, J., Petriu, D.C.: A Dependability profile within MARTE. Journal of Software and Systems Modeling, 1\u201314 (August 2009)","DOI":"10.1007\/s10270-009-0128-1"},{"issue":"11","key":"22_CR14","doi-asserted-by":"publisher","first-page":"1843","DOI":"10.1016\/j.jss.2007.02.029","volume":"80","author":"S. Bernardi","year":"2007","unstructured":"Bernardi, S., Merseguer, J.: Performance evaluation of UML design with Stochastic Well-formed Nets. Journal of Systems and Software\u00a080(11), 1843\u20131865 (2007)","journal-title":"Journal of Systems and Software"},{"key":"22_CR15","unstructured":"Machida, F., Kim, D.S., Trivedi, K.S.: Component-based Availability Modeling for Cloud Service Management. In: Proc. 21st Int. Symp. on Software Reliability Engineering, ISSRE 2010 (2010)"},{"key":"22_CR16","volume-title":"Probability and Statistics with Reliability, Queuing, and Computer Science Applications","author":"K.S. Trivedi","year":"2001","unstructured":"Trivedi, K.S.: Probability and Statistics with Reliability, Queuing, and Computer Science Applications. John Wiley, New York (2001)"},{"key":"22_CR17","volume-title":"Proc. of 6th IEEE international conference on System of Systems Engineering (SoSE 2011)","author":"D. Kimura","year":"2011","unstructured":"Kimura, D., Osaki, T., Yanoo, K., Izukura, S., Sakaki, H., Kobayashi, A.: Evaluation of it systems considering characteristics as system of systems. In: Proc. of 6th IEEE international conference on System of Systems Engineering (SoSE 2011). IEEE, Los Alamitos (in press 2011)"},{"key":"22_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/3-540-46429-8_30","volume-title":"Computer Performance Evaluation. Modelling Techniques and Tools","author":"C. Hirel","year":"2000","unstructured":"Hirel, C., et al.: SPNP: Stochastic petri nets. Version 6.0. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol.\u00a01786, pp. 354\u2013357. Springer, Heidelberg (2000)"},{"issue":"4","key":"22_CR19","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1145\/1530873.1530884","volume":"36","author":"K.S. Trivedi","year":"2009","unstructured":"Trivedi, K.S., Sahner, R.: Sharpe at the age of twenty two. SIGMETRICS Perform. Eval. Rev.\u00a036(4), 52\u201357 (2009)","journal-title":"SIGMETRICS Perform. Eval. Rev."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Roy, A., Kim, D.S., Trivedi, K.S.: Cyber security analysis using attack countermeasure trees. In: Proc. the Sixth Annual Workshop on Cyber Security and Information Intelligence Research, CSIIRW 2010 (2010)","DOI":"10.1145\/1852666.1852698"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Swain, A.D., Guttman, H.E.: Handbook of human reliability analysis with emphasis on nuclear power plant applications. NUREG\/CR-1278, USNRC (1983)","DOI":"10.2172\/5752058"},{"key":"22_CR22","unstructured":"Operation procedure document Ver. 1.0 (2008), http:\/\/www.bsnnet.co.jp\/info\/press\/2007ipa\/9_01.pdf"}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24270-0_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T19:05:21Z","timestamp":1638558321000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24270-0_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242694","9783642242700"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24270-0_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}