{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,7]],"date-time":"2025-10-07T08:46:12Z","timestamp":1759826772217,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031290558"},{"type":"electronic","value":"9783031290565"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-29056-5_4","type":"book-chapter","created":{"date-parts":[[2023,3,19]],"date-time":"2023-03-19T15:02:23Z","timestamp":1679238143000},"page":"31-43","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Availability Model for\u00a0Byzantine Fault-Tolerant Systems"],"prefix":"10.1007","author":[{"given":"Marco","family":"Marcozzi","sequence":"first","affiliation":[]},{"given":"Orhan","family":"Gemikonakli","sequence":"additional","affiliation":[]},{"given":"Eser","family":"Gemikonakli","sequence":"additional","affiliation":[]},{"given":"Enver","family":"Ever","sequence":"additional","affiliation":[]},{"given":"Leonardo","family":"Mostarda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2023,3,20]]},"reference":[{"key":"4_CR1","doi-asserted-by":"crossref","unstructured":"Amin, Z., Singh, H., Sethi, N.: Review on fault tolerance techniques in cloud computing. Int. J. Comput. Appl. 116(18) (2015)","DOI":"10.5120\/20435-2768"},{"issue":"4","key":"4_CR2","doi-asserted-by":"publisher","first-page":"1039","DOI":"10.1109\/TCC.2017.2760836","volume":"7","author":"E Ataie","year":"2017","unstructured":"Ataie, E., Entezari-Maleki, R., Rashidi, L., Trivedi, K.S., Ardagna, D., Movaghar, A.: Hierarchical stochastic models for performance, availability, and power consumption analysis of IaaS clouds. IEEE Trans. Cloud Comput. 7(4), 1039\u20131056 (2017)","journal-title":"IEEE Trans. Cloud Comput."},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","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.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secure Comput. 1(1), 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secure Comput."},{"issue":"1","key":"4_CR4","first-page":"288","volume":"9","author":"A Bala","year":"2012","unstructured":"Bala, A., Chana, I.: Fault tolerance-challenges, techniques and implementation in cloud computing. Int. J. Comput. Sci. Issues (IJCSI) 9(1), 288 (2012)","journal-title":"Int. J. Comput. Sci. Issues (IJCSI)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Baleani, M., Ferrari, A., Mangeruca, L., Sangiovanni-Vincentelli, A., Peri, M., Pezzini, S.: Fault-tolerant platforms for automotive safety-critical applications. In: Proceedings of the 2003 International Conference on Compilers, Architecture and Synthesis for Embedded Systems, pp. 170\u2013177 (2003)","DOI":"10.1145\/951710.951734"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains: Modeling and Performance Evaluation with Computer Science Applications. Wiley (2006)","DOI":"10.1002\/0471791571"},{"issue":"2","key":"4_CR7","doi-asserted-by":"publisher","first-page":"56","DOI":"10.1145\/102792.102801","volume":"34","author":"F Cristian","year":"1991","unstructured":"Cristian, F.: Understanding fault-tolerant distributed systems. Commun. ACM 34(2), 56\u201378 (1991)","journal-title":"Commun. ACM"},{"key":"4_CR8","first-page":"1","volume":"399","author":"C Edwards","year":"2010","unstructured":"Edwards, C., Lombaerts, T., Smaili, H., et al.: Fault tolerant flight control. Lecture Notes Control Inform. Sci. 399, 1\u2013560 (2010)","journal-title":"Lecture Notes Control Inform. Sci."},{"issue":"5","key":"4_CR9","doi-asserted-by":"publisher","first-page":"2130","DOI":"10.1007\/s11227-016-1906-5","volume":"73","author":"E Ever","year":"2017","unstructured":"Ever, E.: Performability analysis of cloud computing centers with large numbers of servers. J. Supercomput. 73(5), 2130\u20132156 (2017)","journal-title":"J. Supercomput."},{"issue":"12","key":"4_CR10","doi-asserted-by":"publisher","first-page":"1935","DOI":"10.1007\/s00607-019-00720-9","volume":"101","author":"E Ever","year":"2019","unstructured":"Ever, E., Shah, P., Mostarda, L., Omondi, F., Gemikonakli, O.: On the performance, availability and energy consumption modelling of clustered IoT systems. Computing 101(12), 1935\u20131970 (2019). https:\/\/doi.org\/10.1007\/s00607-019-00720-9","journal-title":"Computing"},{"issue":"6","key":"4_CR11","doi-asserted-by":"publisher","first-page":"3757","DOI":"10.1109\/TIE.2015.2417501","volume":"62","author":"Z Gao","year":"2015","unstructured":"Gao, Z., Cecati, C., Ding, S.X.: A survey of fault diagnosis and fault-tolerant techniques-part I: fault diagnosis with model-based and signal-based approaches. IEEE Trans. Industr. Electron. 62(6), 3757\u20133767 (2015)","journal-title":"IEEE Trans. Industr. Electron."},{"issue":"6","key":"4_CR12","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1147\/rd.316.0651","volume":"31","author":"A Goyal","year":"1987","unstructured":"Goyal, A., Lavenberg, S.S.: Modeling and analysis of computer system availability. IBM J. Res. Dev. 31(6), 651\u2013664 (1987)","journal-title":"IBM J. Res. Dev."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Jhawar, R., Piuri, V.: Fault tolerance and resilience in cloud computing environments. In: Computer and Information Security Handbook, pp. 165\u2013181. Elsevier (2017)","DOI":"10.1016\/B978-0-12-803843-7.00009-0"},{"issue":"12","key":"4_CR14","doi-asserted-by":"publisher","first-page":"4352","DOI":"10.1007\/s11227-015-1528-3","volume":"71","author":"Y Kirsal","year":"2015","unstructured":"Kirsal, Y., Ever, E., Kocyigit, A., Gemikonakli, O., Mapp, G.: Modelling and analysis of vertical handover in highly mobile environments. J. Supercomput. 71(12), 4352\u20134380 (2015). https:\/\/doi.org\/10.1007\/s11227-015-1528-3","journal-title":"J. Supercomput."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Koren, I., Krishna, C.M.: Fault-Tolerant Systems. Morgan Kaufmann (2020)","DOI":"10.1016\/B978-0-12-818105-8.00014-0"},{"issue":"10","key":"4_CR16","first-page":"1159","volume":"33","author":"P Kumari","year":"2021","unstructured":"Kumari, P., Kaur, P.: A survey of fault tolerance in cloud computing. J. King Saud Univ. Comput. Inf. Sci. 33(10), 1159\u20131176 (2021)","journal-title":"J. King Saud Univ. Comput. Inf. Sci."},{"issue":"3","key":"4_CR17","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1145\/357172.357176","volume":"4","author":"L Lamport","year":"1982","unstructured":"Lamport, L., Shostak, R., Pease, M.: The Byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382\u2013401 (1982)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Longo, F., Ghosh, R., Naik, V.K., Trivedi, K.S.: A scalable availability model for infrastructure-as-a-service cloud. In: 2011 IEEE\/IFIP 41st International Conference on Dependable Systems & Networks (DSN), pp. 335\u2013346. IEEE (2011)","DOI":"10.1109\/DSN.2011.5958247"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Mehmood, N.Q., Culmone, R., Mostarda, L.: Modeling temporal aspects of sensor data for MongoDB NoSQL database. J. Big Data 4(1) (2017)","DOI":"10.1186\/s40537-017-0068-5"},{"issue":"9","key":"4_CR20","doi-asserted-by":"publisher","first-page":"9615","DOI":"10.1007\/s11227-020-03617-z","volume":"77","author":"C Melo","year":"2021","unstructured":"Melo, C., Dantas, J., Pereira, P., Maciel, P.: Distributed application provisioning over ethereum-based private and permissioned blockchain: availability modeling, capacity, and costs planning. J. Supercomput. 77(9), 9615\u20139641 (2021)","journal-title":"J. Supercomput."},{"issue":"9","key":"4_CR21","doi-asserted-by":"publisher","first-page":"9905","DOI":"10.1007\/s11227-021-03672-0","volume":"77","author":"P Pereira","year":"2021","unstructured":"Pereira, P., Araujo, J., Melo, C., Santos, V., Maciel, P.: Analytical models for availability evaluation of edge and fog computing nodes. J. Supercomput. 77(9), 9905\u20139933 (2021). https:\/\/doi.org\/10.1007\/s11227-021-03672-0","journal-title":"J. Supercomput."},{"issue":"4","key":"4_CR22","doi-asserted-by":"publisher","first-page":"638","DOI":"10.1016\/j.jss.2010.10.023","volume":"84","author":"G Russello","year":"2011","unstructured":"Russello, G., Mostarda, L., Dulay, N.: A policy-based publish\/subscribe middleware for sense-and-react applications. J. Syst. Softw. 84(4), 638\u2013654 (2011)","journal-title":"J. Syst. Softw."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Strielkina, A., Kharchenko, V., Uzun, D.: Availability models for healthcare IoT systems: classification and research considering attacks on vulnerabilities. In: 2018 IEEE 9th International Conference on Dependable Systems, Services and Technologies (DESSERT), pp. 58\u201362. IEEE (2018)","DOI":"10.1109\/DESSERT.2018.8409099"},{"issue":"2","key":"4_CR24","doi-asserted-by":"publisher","first-page":"310","DOI":"10.3390\/iot2020016","volume":"2","author":"S Tang","year":"2021","unstructured":"Tang, S., Xie, Y.: Availability modeling and performance improving of a healthcare internet of things (IoT) system. IoT 2(2), 310\u2013325 (2021)","journal-title":"IoT"},{"key":"4_CR25","unstructured":"Trivedi, K.S.: Probability & Statistics with Reliability, Queuing and Computer Science Applications. Wiley (2008)"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press (2017)","DOI":"10.1017\/9781316163047"},{"issue":"2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/s40860-017-0036-z","volume":"3","author":"C Vannucchi","year":"2017","unstructured":"Vannucchi, C., et al.: Symbolic verification of event\u2013condition\u2013action rules in intelligent environments. J. Reliable Intell. Environ. 3(2), 117\u2013130 (2017)","journal-title":"J. Reliable Intell. Environ."},{"issue":"5","key":"4_CR28","doi-asserted-by":"publisher","first-page":"3311","DOI":"10.1109\/TIE.2016.2530789","volume":"63","author":"S Yin","year":"2016","unstructured":"Yin, S., Xiao, B., Ding, S.X., Zhou, D.: A review on recent development of spacecraft attitude fault tolerant control system. IEEE Trans. Industr. Electron. 63(5), 3311\u20133320 (2016)","journal-title":"IEEE Trans. Industr. Electron."}],"container-title":["Lecture Notes in Networks and Systems","Advanced Information Networking and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-29056-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,3,19]],"date-time":"2023-03-19T15:02:59Z","timestamp":1679238179000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-29056-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031290558","9783031290565"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-29056-5_4","relation":{},"ISSN":["2367-3370","2367-3389"],"issn-type":[{"type":"print","value":"2367-3370"},{"type":"electronic","value":"2367-3389"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"20 March 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"AINA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Networking and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Juiz de Fora","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 March 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 March 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"aina2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/aina\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}