Skip to main content
SpringerLink
Log in

Availability Model for Byzantine Fault-Tolerant Systems

  • Conference paper
  • First Online:
Advanced Information Networking and Applications (AINA 2023)

Part of the book series: Lecture Notes in Networks and Systems ((LNNS,volume 661))

Abstract

The growth in the complexity and extensibility of computer systems have caused vulnerabilities such as exploitable software bugs and configuration flaws. In turn, confirming computer security is becoming an increasingly important task. Byzantine fault-tolerant algorithms are popularly used to allow systems automatically continue operating. In addition, Byzantine Fault-Tolerant Systems are used in blockchain networks, commonly in tandem with other consensus mechanisms. This study proposes an analytical availability model which is critical for the evaluation of fault-tolerant multi-server systems. A model is proposed based on continuous-time Markov chains to analyse the availability of Byzantine Fault-Tolerant systems. Numerical results are presented reporting availability as a function of the number of participants and the relative number of honest actors in the system. It can be concluded from the model that there is a non-linear relationship between the number of servers and availability inversely proportional to the number of nodes in the system. This relationship is further strengthened as the ratio of honest malicious nodes to the total number of nodes increases.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 229.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 299.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Notes

  1. 1.

    For simplicity of exposition, it is assumed that N, H, and \(F\in \mathbb {N}_0\). Therefore, when dealing with divisions, we are implicitly applying the ceiling \(\lceil \cdot \rceil \) and floor \(\lfloor \cdot \rfloor \) functions to H and F, respectively.

References

  1. Amin, Z., Singh, H., Sethi, N.: Review on fault tolerance techniques in cloud computing. Int. J. Comput. Appl. 116(18) (2015)

    Google Scholar 

  2. 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–1056 (2017)

    Article  Google Scholar 

  3. 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–33 (2004)

    Article  Google Scholar 

  4. Bala, A., Chana, I.: Fault tolerance-challenges, techniques and implementation in cloud computing. Int. J. Comput. Sci. Issues (IJCSI) 9(1), 288 (2012)

    Google Scholar 

  5. 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–177 (2003)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Cristian, F.: Understanding fault-tolerant distributed systems. Commun. ACM 34(2), 56–78 (1991)

    Article  Google Scholar 

  8. Edwards, C., Lombaerts, T., Smaili, H., et al.: Fault tolerant flight control. Lecture Notes Control Inform. Sci. 399, 1–560 (2010)

    Google Scholar 

  9. Ever, E.: Performability analysis of cloud computing centers with large numbers of servers. J. Supercomput. 73(5), 2130–2156 (2017)

    Article  Google Scholar 

  10. 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–1970 (2019). https://doi.org/10.1007/s00607-019-00720-9

    Article  MathSciNet  Google Scholar 

  11. 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–3767 (2015)

    Article  Google Scholar 

  12. Goyal, A., Lavenberg, S.S.: Modeling and analysis of computer system availability. IBM J. Res. Dev. 31(6), 651–664 (1987)

    Article  Google Scholar 

  13. Jhawar, R., Piuri, V.: Fault tolerance and resilience in cloud computing environments. In: Computer and Information Security Handbook, pp. 165–181. Elsevier (2017)

    Google Scholar 

  14. 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–4380 (2015). https://doi.org/10.1007/s11227-015-1528-3

    Article  Google Scholar 

  15. Koren, I., Krishna, C.M.: Fault-Tolerant Systems. Morgan Kaufmann (2020)

    Google Scholar 

  16. Kumari, P., Kaur, P.: A survey of fault tolerance in cloud computing. J. King Saud Univ. Comput. Inf. Sci. 33(10), 1159–1176 (2021)

    Google Scholar 

  17. Lamport, L., Shostak, R., Pease, M.: The Byzantine generals problem. ACM Trans. Program. Lang. Syst. 4(3), 382–401 (1982)

    Article  MATH  Google Scholar 

  18. 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–346. IEEE (2011)

    Google Scholar 

  19. Mehmood, N.Q., Culmone, R., Mostarda, L.: Modeling temporal aspects of sensor data for MongoDB NoSQL database. J. Big Data 4(1) (2017)

    Google Scholar 

  20. 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–9641 (2021)

    Article  Google Scholar 

  21. 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–9933 (2021). https://doi.org/10.1007/s11227-021-03672-0

    Article  Google Scholar 

  22. Russello, G., Mostarda, L., Dulay, N.: A policy-based publish/subscribe middleware for sense-and-react applications. J. Syst. Softw. 84(4), 638–654 (2011)

    Article  Google Scholar 

  23. 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–62. IEEE (2018)

    Google Scholar 

  24. Tang, S., Xie, Y.: Availability modeling and performance improving of a healthcare internet of things (IoT) system. IoT 2(2), 310–325 (2021)

    Article  Google Scholar 

  25. Trivedi, K.S.: Probability & Statistics with Reliability, Queuing and Computer Science Applications. Wiley (2008)

    Google Scholar 

  26. Trivedi, K.S., Bobbio, A.: Reliability and Availability Engineering: Modeling, Analysis, and Applications. Cambridge University Press (2017)

    Google Scholar 

  27. Vannucchi, C., et al.: Symbolic verification of event–condition–action rules in intelligent environments. J. Reliable Intell. Environ. 3(2), 117–130 (2017)

    Article  Google Scholar 

  28. 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–3320 (2016)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Division, University of Camerino, Camerino, Italy

    Marco Marcozzi & Leonardo Mostarda

  2. Faculty of Engineering, Final International University, Kyrenia, Cyprus

    Orhan Gemikonakli

  3. Department of Computer Engineering, Faculty of Engineering, University of Kyrenia, Girne, Mersin 10, Kyrenia, Turkey

    Eser Gemikonakli

  4. Computer Engineering, Middle East Technical University Northern Cyprus Campus, Mersin 10, 99738, Guzelyurt, Turkey

    Enver Ever

Authors
  1. Marco Marcozzi
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Orhan Gemikonakli
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Eser Gemikonakli
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Enver Ever
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Leonardo Mostarda
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Marco Marcozzi .

Editor information

Editors and Affiliations

  1. Department of Information and Communication Engineering, Faculty of Information Engineering, Fukuoka Institute of Technology, Fukuoka, Japan

    Leonard Barolli

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Marcozzi, M., Gemikonakli, O., Gemikonakli, E., Ever, E., Mostarda, L. (2023). Availability Model for Byzantine Fault-Tolerant Systems. In: Barolli, L. (eds) Advanced Information Networking and Applications. AINA 2023. Lecture Notes in Networks and Systems, vol 661. Springer, Cham. https://doi.org/10.1007/978-3-031-29056-5_4

Download citation

Publish with us

Policies and ethics

Search

Navigation