{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T05:24:44Z","timestamp":1742966684178,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030611040"},{"type":"electronic","value":"9783030611057"}],"license":[{"start":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T00:00:00Z","timestamp":1602201600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,10,9]],"date-time":"2020-10-09T00:00:00Z","timestamp":1602201600000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-61105-7_4","type":"book-chapter","created":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T09:03:40Z","timestamp":1602147820000},"page":"29-40","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["An Approach to Support the Design and the Dependability Analysis of High Performance I\/O Intensive Distributed Systems"],"prefix":"10.1007","author":[{"given":"Lucas","family":"Bressan","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"La\u00e9rcio","family":"Pioli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario A. R.","family":"Dantas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernanda","family":"Campos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andr\u00e9 L.","family":"de Oliveira","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,10,9]]},"reference":[{"unstructured":"AMASS: architecture-driven, multi-concern and seamless assurance and certification of cyber-physical systems. \nhttps:\/\/www.amass-ecsel.eu","key":"4_CR1"},{"unstructured":"Grid\u20195000. \nhttps:\/\/www.grid5000.fr\/w\/Grid5000:Home","key":"4_CR2"},{"issue":"11","key":"4_CR3","doi-asserted-by":"publisher","first-page":"1303","DOI":"10.1002\/spe.1044","volume":"41","author":"M Adachi","year":"2011","unstructured":"Adachi, M., Papadopoulos, Y., Sharvia, S., Parker, D., Tohdo, T.: An approach to optimization of fault tolerant architectures using HiP-HOPS. Softw. Pract. Experience 41(11), 1303\u20131327 (2011). \nhttps:\/\/doi.org\/10.1002\/spe.1044","journal-title":"Softw. Pract. Experience"},{"key":"4_CR4","doi-asserted-by":"publisher","first-page":"473","DOI":"10.1007\/978-981-13-1498-8_42","volume-title":"Emerging Technologies in Data Mining and Information Security","author":"D Chattaraj","year":"2019","unstructured":"Chattaraj, D., Sarma, M., Samanta, D.: Stochastic petri net based modeling for analyzing dependability of big data storage system. In: Abraham, A., Dutta, P., Mandal, J.K., Bhattacharya, A., Dutta, S. (eds.) Emerging Technologies in Data Mining and Information Security, pp. 473\u2013484. Springer Singapore, Singapore (2019)"},{"doi-asserted-by":"publisher","unstructured":"Cicchetti, A., Ciccozzi, F., Mazzini, S., Puri, S., Panunzio, M., Zovi, A., Vardanega, T.: CHESS: a model-driven engineering tool environment for aiding the development of complex industrial systems. In: Proceedings - 2012 27th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2012, pp. 362\u2013365 (2012). \nhttps:\/\/doi.org\/10.1145\/2351676.2351748","key":"4_CR5","DOI":"10.1145\/2351676.2351748"},{"issue":"7","key":"4_CR6","doi-asserted-by":"publisher","first-page":"775","DOI":"10.11499\/sicejl1962.31.775","volume":"31","author":"S Dave","year":"1992","unstructured":"Dave, S.: Fault-tolerance techniques in distributed systems. J. Soc. Instrum. Control Eng. 31(7), 775\u2013780 (1992). \nhttps:\/\/doi.org\/10.11499\/sicejl1962.31.775","journal-title":"J. Soc. Instrum. Control Eng."},{"doi-asserted-by":"publisher","unstructured":"De\u00a0Oliveira, A.L., Bressan, L., Montecchi, L., Gallina, B.: A systematic process for applying the CHESS methodology in the creation of certifiable evidence. In: Proceedings - 2018 14th European Dependable Computing Conference, EDCC 2018, pp. 49\u201356 (2018). \nhttps:\/\/doi.org\/10.1109\/EDCC.2018.00019","key":"4_CR7","DOI":"10.1109\/EDCC.2018.00019"},{"issue":"24","key":"4_CR8","doi-asserted-by":"publisher","first-page":"13591","DOI":"10.1007\/s00500-019-03896-6","volume":"23","author":"V Gupta","year":"2019","unstructured":"Gupta, V., Kaur, B.P., Jangra, S.: An efficient method for fault tolerance in cloud environment using encryption and classification. Soft Comput. 23(24), 13591\u201313602 (2019). \nhttps:\/\/doi.org\/10.1007\/s00500-019-03896-6","journal-title":"Soft Comput."},{"issue":"5","key":"4_CR9","doi-asserted-by":"publisher","first-page":"29","DOI":"10.5121\/ijccsa.2013.3503","volume":"3","author":"N Khanghahi","year":"2013","unstructured":"Khanghahi, N., Ravanmehr, R.: Cloud computing performance evaluation: issues and challenges. Int. J. Cloud Comput. Serv. Architect. 3(5), 29\u201341 (2013). \nhttps:\/\/doi.org\/10.5121\/ijccsa.2013.3503","journal-title":"Int. J. Cloud Comput. Serv. Architect."},{"doi-asserted-by":"publisher","unstructured":"Lucas, R., Ang, J., Bergman, K.: DOE Advanced Scientific Computing Advisory Subcommittee (ASCAC) Report: Top Ten Exascale Research Challenges. Technical report, United States (2014). \nhttps:\/\/doi.org\/10.2172\/1222713\n\n. \nhttps:\/\/www.osti.gov\/servlets\/purl\/1222713","key":"4_CR10","DOI":"10.2172\/1222713"},{"doi-asserted-by":"publisher","unstructured":"Mazzini, S., Favaro, J., Baracchi, L.: A model-based approach across the IoT lifecycle for scalable and distributed smart applications. In: Proceedings IEEE Conference on Intelligent Transportation Systems, ITSC October 2015, pp. 149\u2013154 (2015). \nhttps:\/\/doi.org\/10.1109\/ITSC.2015.33","key":"4_CR11","DOI":"10.1109\/ITSC.2015.33"},{"key":"4_CR12","first-page":"59","volume":"1835","author":"S Mazzini","year":"2016","unstructured":"Mazzini, S., Favaro, J., Puri, S., Baracchi, L.: CHESS: an open source methodology and toolset for the development of critical systems. CEUR Workshop Proc. 1835, 59\u201366 (2016)","journal-title":"CEUR Workshop Proc."},{"doi-asserted-by":"publisher","unstructured":"Menychtas, A., Konstanteli, K.G.: Fault detection and recovery mechanisms and techniques for service oriented infrastructures, pp. 259\u2013274 (2011). \nhttps:\/\/doi.org\/10.4018\/978-1-60960-827-9.ch014","key":"4_CR13","DOI":"10.4018\/978-1-60960-827-9.ch014"},{"unstructured":"Montecchi, L.: CHESS-SBA: state-based analysis. \nhttps:\/\/github.com\/montex\/CHESS-SBA","key":"4_CR14"},{"doi-asserted-by":"crossref","unstructured":"Montecchi, L., Gallina, B.: SafeConcert: a metamodel for a concerted safety modeling of socio-technical systems. In: 5th International Symposium on Model-Based Safety and Assessment (IMBSA 2017), LNCS, vol. 10437, pp. 129\u2013144. Trento, Italy (2017)","key":"4_CR15","DOI":"10.1007\/978-3-319-64119-5_9"},{"doi-asserted-by":"publisher","unstructured":"Montecchi, L., Gallina, B.: SafeConcert: a metamodel for a concerted safety modeling of socio-technical systems. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) LNCS, vol. 10437, pp. 129\u2013144 (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-319-64119-5_9","key":"4_CR16","DOI":"10.1007\/978-3-319-64119-5_9"},{"doi-asserted-by":"publisher","unstructured":"Pan, Y., Hu, N.: Research on dependability of cloud computing systems. In: 2014 10th International Conference on Reliability, Maintainability and Safety (ICRMS), pp. 435\u2013439 (2014). \nhttps:\/\/doi.org\/10.1109\/ICRMS.2014.7107234","key":"4_CR17","DOI":"10.1109\/ICRMS.2014.7107234"},{"doi-asserted-by":"publisher","unstructured":"Pioli, L., de Andrade Menezes, V.S., Dantas, M.A.R.: Research characterization on I\/O improvements of storage environments. In: Lecture Notes in Networks and Systems, vol. 96, pp. 287\u2013298 (2020). \nhttps:\/\/doi.org\/10.1007\/978-3-030-33509-0_26","key":"4_CR18","DOI":"10.1007\/978-3-030-33509-0_26"},{"key":"4_CR19","volume-title":"High Availability and Disaster Recovery: Concepts, Design, Implementation","author":"K Schmidt","year":"2010","unstructured":"Schmidt, K.: High Availability and Disaster Recovery: Concepts, Design, Implementation, 1st edn. Springer Publishing Company, Berlin (2010)","edition":"1"},{"unstructured":"Schroeder, B., Gibson, G.A.: Disk failures in the real world: what does an MTTF of 1,000,000 hours mean to you. In: FAST 2007 - 5th USENIX Conference on File and Storage Technologies (2007)","key":"4_CR20"},{"unstructured":"Sommerville, I.: Software Engineering, 10th edn. Pearson (2015)","key":"4_CR21"},{"doi-asserted-by":"publisher","unstructured":"Wu, J., Liang, Q., Bertino, E.: Improving scalability of software cloud for composite web services. In: CLOUD 2009 - 2009 IEEE International Conference on Cloud Computing, pp. 143\u2013146 (2009). \nhttps:\/\/doi.org\/10.1109\/CLOUD.2009.75","key":"4_CR22","DOI":"10.1109\/CLOUD.2009.75"}],"container-title":["Lecture Notes in Networks and Systems","Advances on P2P, Parallel, Grid, Cloud and Internet Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-61105-7_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,8]],"date-time":"2020-10-08T09:15:34Z","timestamp":1602148534000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-61105-7_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,9]]},"ISBN":["9783030611040","9783030611057"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-61105-7_4","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2020,10,9]]},"assertion":[{"value":"9 October 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"3PGCIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on P2P, Parallel, Grid, Cloud and Internet Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Yonago","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"pgcic2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/3pgcic\/2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}