{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:50:30Z","timestamp":1740124230350,"version":"3.37.3"},"reference-count":44,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2016,5,3]],"date-time":"2016-05-03T00:00:00Z","timestamp":1462233600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"name":"Dutch Ministry of Economic Affairs","award":["BSIK.Trader"],"award-info":[{"award-number":["BSIK.Trader"]}]},{"name":"NWO","award":["FOCUS\/BRICKS 642.000.505"],"award-info":[{"award-number":["FOCUS\/BRICKS 642.000.505"]}]},{"DOI":"10.13039\/501100000780","name":"European Union","doi-asserted-by":"crossref","award":["IST-004527"],"award-info":[{"award-number":["IST-004527"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme (BE)","doi-asserted-by":"publisher","award":["FP7-ICT-2007-1"],"award-info":[{"award-number":["FP7-ICT-2007-1"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s11219-016-9315-9","type":"journal-article","created":{"date-parts":[[2016,5,3]],"date-time":"2016-05-03T08:56:29Z","timestamp":1462265789000},"page":"553-579","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Availability analysis of software architecture decomposition alternatives for local recovery"],"prefix":"10.1007","volume":"25","author":[{"given":"Hasan","family":"S\u00f6zer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mari\u00eblle","family":"Stoelinga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hichem","family":"Boudali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mehmet","family":"Ak\u015fit","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,3]]},"reference":[{"key":"9315_CR1","doi-asserted-by":"crossref","unstructured":"Alvarez, G., & Cristian, F. (1997). Centralized failure injection for distributed, fault-tolerant protocol testing. In Proceedings of the 17th international conference on distributed computing systems, pp. 78\u201385.","DOI":"10.1109\/ICDCS.1997.597856"},{"issue":"1","key":"9315_CR2","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J. C., Randell, B., & Landwehr, C. (2004). Basic concepts and taxonomy of dependable and secure computing. IEEE Transactions on Dependable and Secure Computing, 1(1), 11\u201333.","journal-title":"IEEE Transactions on Dependable and Secure Computing"},{"issue":"3","key":"9315_CR3","doi-asserted-by":"crossref","first-page":"313","DOI":"10.1007\/s10270-009-0128-1","volume":"10","author":"S Bernardi","year":"2011","unstructured":"Bernardi, S., Merseguer, J., & Petriu, D. (2011). A dependability profile within MARTE. Software and Systems Modeling, 10(3), 313\u2013336.","journal-title":"Software and Systems Modeling"},{"issue":"1","key":"9315_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2379776.2379778","volume":"45","author":"S Bernardi","year":"2012","unstructured":"Bernardi, S., Merseguer, J., Petriu, D., & Dorina, C. (2012). Dependability modeling and analysis of software systems specified with UML. ACM Computing Surveys, 45(1), 1\u201348.","journal-title":"ACM Computing Surveys"},{"key":"9315_CR5","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., & Stoelinga, M. (2007a). A compositional semantics for dynamic fault trees in terms of Interactive Markov Chains. In Proceedings of the 5th international symposium on automated technology for verification and analysis, lecture notes on computer science (LNCS), pp. 441\u2013456.","DOI":"10.1007\/978-3-540-75596-8_31"},{"key":"9315_CR6","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., & Stoelinga, M. (2007b). Dynamic fault tree analysis using input\/output interactive Markov chains. In Proceedings of the 37th annual IEEE\/IFIP international conference on dependable systems and networks (DSN), pp. 708\u2013717.","DOI":"10.1109\/DSN.2007.37"},{"key":"9315_CR7","doi-asserted-by":"crossref","unstructured":"Boudali, H., Crouzen, P., Haverkort, B. R., Kuntz, M., & Stoelinga, M. (2008). Architectural dependability evaluation with arcade. In Proceedings of the 38th IEEE\/IFIP international conference on dependable systems and networks (DSN), IEEE, pp. 512\u2013521.","DOI":"10.1109\/DSN.2008.4630122"},{"issue":"7","key":"9315_CR8","doi-asserted-by":"crossref","first-page":"679","DOI":"10.1002\/qre.577","volume":"20","author":"J Bowles","year":"2004","unstructured":"Bowles, J., Dobbins, J., & Gregory, J. (2004). Approximate reliability and availability models for high availability and fault-tolerant systems with repair. Quality and Reliability Engineering International, 20(7), 679\u2013697.","journal-title":"Quality and Reliability Engineering International"},{"issue":"5","key":"9315_CR9","doi-asserted-by":"crossref","first-page":"754","DOI":"10.1093\/comjnl\/bxq024","volume":"54","author":"M Bozzano","year":"2011","unstructured":"Bozzano, M., Cimatti, A., Katoen, J. P., Nguyen, V. Y., Noll, T., & Roveri, M. (2011). Safety, dependability and performance analysis of extended AADL models. The Computer Journal, 54(5), 754\u2013775.","journal-title":"The Computer Journal"},{"issue":"6","key":"9315_CR10","doi-asserted-by":"crossref","first-page":"1319","DOI":"10.1109\/TSE.2011.94","volume":"38","author":"F Brosch","year":"2012","unstructured":"Brosch, F., Koziolek, H., Buhnova, B., & Reussner, R. (2012). Architecture-based reliability prediction with the palladio component model. IEEE Transactions on Software Engineering, 38(6), 1319\u20131339.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9315_CR11","unstructured":"Candea, G., Kawamoto, S., Fujiki, Y., Friedman, G., & Fox, A. (2004b). Microreboot: A technique for cheap recovery. In Proceedings of the 6th symposium on operating systems design and implementation (OSDI), San Francisco, CA, pp. 31\u201344."},{"issue":"1\u20134","key":"9315_CR12","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/j.peva.2003.07.007","volume":"56","author":"G Candea","year":"2004","unstructured":"Candea, G., Cutler, J., & Fox, A. (2004a). Improving availability with recursive micro-reboots: A soft-state system case study. Performance Evaluation, 56(1\u20134), 213\u2013248.","journal-title":"Performance Evaluation"},{"key":"9315_CR13","volume-title":"Documenting software architectures: Views and beyond","author":"P Clements","year":"2010","unstructured":"Clements, P., Bachman, F., Bass, L., Garlan, D., Ivers, J., Little, R., et al. (2010). Documenting software architectures: Views and beyond (2nd ed.). Reading, MA: Addison-Wesley.","edition":"2"},{"key":"9315_CR14","doi-asserted-by":"crossref","unstructured":"Das, O., & Woodside, C. (1998). The fault-tolerant layered queueing network model for performability of distributed systems. In Proceedings of the international performance and dependability symposium (IPDS) (pp. 132\u2013141). Durham, NC.","DOI":"10.1109\/IPDS.1998.707716"},{"key":"9315_CR15","unstructured":"Dashofy, E., van der Hoek, A., & Taylor, R. (2002). An infrastructure for the rapid development of XML-based architecture description languages. In International conference on software engineering (ICSE) (pp. 266\u2013276). Orlando, Florida: ACM."},{"key":"9315_CR16","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4613-8643-8","volume-title":"Non-uniform random variate generation","author":"L Devroye","year":"1986","unstructured":"Devroye, L. (1986). Non-uniform random variate generation. Berlin: Springer."},{"key":"9315_CR17","first-page":"109","volume-title":"Software fault tolerance, chapter 5","author":"J Dugan","year":"1995","unstructured":"Dugan, J., & Lyu, M. (1995). Dependability modeling for fault-tolerant software and systems. In M. R. Lyu (Ed.), Software fault tolerance, chapter 5 (pp. 109\u2013138). London: Wiley."},{"issue":"11","key":"9315_CR18","doi-asserted-by":"crossref","first-page":"849","DOI":"10.1109\/TSE.2006.113","volume":"32","author":"J Durares","year":"2006","unstructured":"Durares, J., & Henrique, S. (2006). Emulation of software faults: A field data study and a practical approach. IEEE Transactions on Software Engineering, 32(11), 849\u2013867.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9315_CR19","unstructured":"ECLIPSE (2015) Eclipse foundation. http:\/\/www.eclipse.org\/"},{"key":"9315_CR20","doi-asserted-by":"crossref","unstructured":"Franco, J., Barbosa, R., & Zenha-Rela, M. (2012). Automated reliability prediction from formal architectural descriptions. In Proceedings of joint working IEEE\/IFIP conference on software architecture (WICSA) and European conference on software architecture (ECSA), pp. 302\u2013309.","DOI":"10.1109\/WICSA-ECSA.212.50"},{"key":"9315_CR21","doi-asserted-by":"crossref","unstructured":"Franco, J., Barbosa, R., & Zenha-Rela, M. (2014). Availability evaluation of software architectures through formal methods. In Proceedings of the 9th international conference on the quality of information and communications technology (QUATIC), pp. 282\u2013287.","DOI":"10.1109\/QUATIC.2014.45"},{"key":"9315_CR22","unstructured":"Garavel, H., & Lang, F. (2001). SVL: A scripting language for compositional verification. In Proceedings of the international conference on formal techniques for networked and distributed systems (FORTE), pp. 377\u2013394."},{"key":"9315_CR23","doi-asserted-by":"crossref","unstructured":"Garavel, H., Lang, F., Mateescu, R., & Serwe, W. (2007). CADP 2006: A toolbox for the construction and analysis of distributed processes. In Computer-aided verification (CAV), Springer, Lecture Notes on Computer Science (LNCS), vol. 4590, pp. 158\u2013163.","DOI":"10.1007\/978-3-540-73368-3_18"},{"key":"9315_CR24","unstructured":"Garlan, D., Monroe, R., & Wile, D. (1997). Acme: An architecture description interchange language. In Proceedings of conference of the centre for advanced studies on collaborative research (CASCON), pp. 169\u2013183."},{"key":"9315_CR25","unstructured":"Garland, S., Lynch, N., Tauber, J., & Vaziri, M. (2004). IOA user guide and reference manual. Tech. rep., MIT CSAI Laboratory, Cambridge, MA."},{"issue":"7","key":"9315_CR26","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1109\/2.56852","volume":"23","author":"R Geist","year":"1990","unstructured":"Geist, R., & Trivedi, K. (1990). Reliability estimation of fault-tolerant systems: Tools and techniques. IEEE Computer, 23(7), 52\u201361.","journal-title":"IEEE Computer"},{"key":"9315_CR27","doi-asserted-by":"crossref","unstructured":"Hermanns, H. (2002). Interactive Markov Chains: The quest for quantified quality, lecture notes on computer science (LNCS), vol. 2428.","DOI":"10.1007\/3-540-45804-2"},{"issue":"1","key":"9315_CR28","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/S0167-6423(99)00019-2","volume":"36","author":"H Hermanns","year":"2000","unstructured":"Hermanns, H., & Katoen, J. P. (2000). Automated compositional Markov chain generation for a plain-old telephone system. Science of Computer Programming, 36(1), 97\u2013127.","journal-title":"Science of Computer Programming"},{"issue":"3","key":"9315_CR29","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1145\/1272998.1273032","volume":"41","author":"GC Hunt","year":"2007","unstructured":"Hunt, G. C., et al. (2007). Sealing OS processes to improve dependability and safety. ACM SIGOPS Operating Systems Review, 41(3), 341\u2013354.","journal-title":"ACM SIGOPS Operating Systems Review"},{"issue":"1","key":"9315_CR30","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1007\/s10270-006-0040-x","volume":"7","author":"A Immonen","year":"2008","unstructured":"Immonen, A., & Niemel, E. (2008). Survey of reliability and availability prediction methods from the viewpoint of software architecture. Software and Systems Modeling, 7(1), 49\u201365.","journal-title":"Software and Systems Modeling"},{"key":"9315_CR31","first-page":"1","volume-title":"Architecting dependable systems, IV, lecture notes in computer science, vol. 4615","author":"J Joyce","year":"2007","unstructured":"Joyce, J. (2007). Architecting dependable systems with the sae architecture analysis and description language (AADL). In R. de Lemos, C. Gacek, & A. Romanovsky (Eds.), Architecting dependable systems, IV, lecture notes in computer science, vol. 4615 (pp. 1\u201313). Berlin: Springer."},{"key":"9315_CR32","unstructured":"Kuntz, M., & Haverkort, B. R. (2008). Formal dependability engineering with MIOA. Technical Report TR-CTIT-08-39."},{"issue":"6","key":"9315_CR33","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/S0950-5849(02)00007-1","volume":"44","author":"CD Lai","year":"2002","unstructured":"Lai, C. D., et al. (2002). A model for availability analysis of distributed software\/hardware systems. Information and Software Technology, 44(6), 343\u2013350.","journal-title":"Information and Software Technology"},{"issue":"3","key":"9315_CR34","first-page":"219","volume":"2","author":"N Lynch","year":"1989","unstructured":"Lynch, N., & Tuttle, M. (1989). An introduction to input\/output automata. CWI Quarterly, 2(3), 219\u2013246.","journal-title":"CWI Quarterly"},{"issue":"4","key":"9315_CR35","doi-asserted-by":"crossref","first-page":"107","DOI":"10.1109\/2.917550","volume":"34","author":"M Maier","year":"2001","unstructured":"Maier, M., Emery, D., & Hilliard, R. (2001). Software architecture: Introducing IEEE standard 1471. IEEE Computer, 34(4), 107\u2013109.","journal-title":"IEEE Computer"},{"key":"9315_CR36","doi-asserted-by":"crossref","unstructured":"Majzik, I., & Huszerl, G. (2002). Towards dependability modeling of FT-CORBA architectures. In Proceedings of the 4th European dependable computing conference, lecture notes on computer science (LNCS), pp. 121\u2013139.","DOI":"10.1007\/3-540-36080-8_14"},{"key":"9315_CR37","doi-asserted-by":"crossref","unstructured":"Monnet, S., & Bertier, M. (2007). Using failure injection mechanisms to experiment and evaluate a grid failure detector. In M. Dayde, J. Palma, A. Coutinho, E. Pacitti, & J. Lopes (Eds.), High performance computing for computational science, vol. 4395 (pp. 610\u2013621). Berlin, Heidelberg: Springer.","DOI":"10.1007\/978-3-540-71351-7_48"},{"key":"9315_CR38","unstructured":"MPLAYER (2015) MPlayer official website. http:\/\/www.mplayerhq.hu\/"},{"key":"9315_CR39","first-page":"14","volume-title":"Architecting dependable systems, IV, lecture notes in computer science, vol. 4615","author":"AE Rugina","year":"2007","unstructured":"Rugina, A. E., Kanoun, K., & Kaaniche, M. (2007). A system dependability modeling framework using AADL and GSPNs. In R. de Lemos, C. Gacek, & A. Romanovsky (Eds.), Architecting dependable systems, IV, lecture notes in computer science, vol. 4615 (pp. 14\u201338). Berlin: Springer."},{"key":"9315_CR40","unstructured":"Sozer, H. (2009). Architecting fault-tolerant software systems. Ph.D. thesis, University of Twente, Enschede, The Netherlands."},{"key":"9315_CR41","doi-asserted-by":"crossref","unstructured":"Sozer, H., & Tekinerdogan, B. (2008). Introducing recovery style for modeling and analyzing system recovery. In Proceedings of the 7th working IEEE\/IFIP conference on software architecture (WICSA), (pp. 167\u2013176). Canada: Vancouver.","DOI":"10.1109\/WICSA.2008.9"},{"issue":"10","key":"9315_CR42","first-page":"869","volume":"39","author":"H Sozer","year":"2009","unstructured":"Sozer, H., Tekinerdogan, B., & Aksit, M. (2009). FLORA: A framework for decomposing software architecture to introduce local recovery. Software: Practice and Experience, 39(10), 869\u2013889.","journal-title":"Software: Practice and Experience"},{"issue":"2","key":"9315_CR43","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1007\/s11219-011-9171-6","volume":"21","author":"H Sozer","year":"2013","unstructured":"Sozer, H., Tekinerdogan, B., & Aksit, M. (2013). Optimizing decomposition of software architecture for local recovery. Software Quality Journal, 21(2), 203\u2013240.","journal-title":"Software Quality Journal"},{"issue":"2","key":"9315_CR44","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1109\/TDSC.2005.15","volume":"2","author":"K Vaidyanathan","year":"2005","unstructured":"Vaidyanathan, K., & Trivedi, K. S. (2005). A comprehensive model for software rejuvenation. IEEE Transactions on Dependable and Secure Computing, 2(2), 124\u2013137.","journal-title":"IEEE Transactions on Dependable and Secure Computing"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9315-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-016-9315-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9315-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-016-9315-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T20:11:14Z","timestamp":1589659874000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-016-9315-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,3]]},"references-count":44,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["9315"],"URL":"https:\/\/doi.org\/10.1007\/s11219-016-9315-9","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2016,5,3]]}}}