Abstract
Cloud computing provide services to many users at the same time by providing virtual resources via internet, General example of cloud services is Google apps, provided by Google. In most of cloud applications, processing is done on remote cloud computing nodes. So, there are more chances of errors, due to the undetermined latency and lose control over remote nodes, so it is very important apply the techniques for fault tolerance in cloud computing.
In this paper, a fault tolerance in real time cloud computing is proposed. In our model, the system tolerates the faults and makes the decision on the basis of reliability of the processing nodes.
And we will present an event-B as formal method that can be used in the development of reactive distributed systems and we propose using the Rodin modeling tool for Event-B that integrates modeling and proving.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
http://searchcloudcomputing.techtarget.com/definition/cloud-computing. Tec Target, Accessed 26 Apr 2012
Amin, Z., Sethi, N., Singh, H.: Review on fault tolerance techniques in cloud computing (2015). http://research.ijcaonline.org/volume116/number18/pxc3902768.pdf
Unsal, O.S., Koren, I., Mani Krishna, C.: Towards energy-aware software-based fault tolerance in real-time systems (2008). http://euler.ecs.umass.edu/research/ukk-islped-2002.pdf
Malik, S., Huet, F.: Adaptive Fault Tolerance in Real Time Cloud Computing, Research Team OASIS INRIA - Sophia Antipolis 06902 Sophia Antipolis, France, IEEE World Congress on Services (2011)
Sudha Lakshmi, S.: Fault Tolerance in Cloud Computing (2013). http://ijesr.in/wp-content/uploads/2013/12/ACICE-050.pdf
Kaur, P., Kaur, M.: Enhanced adaptive fault tolerance model for increasing reliability in cloud computing (2015). http://www.techrepublic.com/resource-library/whitepapers/enhanced-adaptive-fault-tolerance-model-for-increasing-reliability-in-cloud-computing/
Krayem, S.: Modern theory of information - Structured and knowledge based system design, Faculty of Applied Informatics, Tomas Bata University in ZlÃn, Czech republic (2016)
Damchoom, K., Butler, M., Abria, J.-R.: Modelling and Proof of a tree-structured file system in Event-B and Rodin (2008). http://www.ensiie.fr/~dubois/PR_2010/TreeFileSysICFEM2008.pdf
Acknowledgement
This work was supported by the Ministry of Education, Youth and Sports of the Czech Republic within the National Sustainability Programme project No. LO1303 (MSMT-7778/2014) and by the European Regional Development Fund under the project CEBIA-Tech No. CZ.1.05/2.1.00/03.0089. Also supported by grant No. IGA/CebiaTech/2017/007 from IGA (Internal Grant Agency) of Tomas Bata University in Zlin.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer International Publishing AG, part of Springer Nature
About this paper
Cite this paper
Ali, A.A., Jasek, R., Krayem, S., Chramcov, B., Zacek, P. (2019). Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B. In: Silhavy, R. (eds) Cybernetics and Algorithms in Intelligent Systems . CSOC2018 2018. Advances in Intelligent Systems and Computing, vol 765. Springer, Cham. https://doi.org/10.1007/978-3-319-91192-2_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-91192-2_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-91191-5
Online ISBN: 978-3-319-91192-2
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)