TBU Publications
Repository of TBU Publications

Improved adaptive fault tolerance model for increasing reliability in cloud computing using Event-B

DSpace Repository

Show simple item record


dc.title Improved adaptive fault tolerance model for increasing reliability in cloud computing using Event-B en
dc.contributor.author Alhaj Ali, Ammar Nassan
dc.contributor.author Jašek, Roman
dc.contributor.author Krayem, Said
dc.contributor.author Chramcov, Bronislav
dc.contributor.author Žáček, Petr
dc.relation.ispartof Advances in Intelligent Systems and Computing
dc.identifier.issn 2194-5357 Scopus Sources, Sherpa/RoMEO, JCR
dc.identifier.isbn 978-3-319-91191-5
dc.date.issued 2019
utb.relation.volume 765
dc.citation.spage 246
dc.citation.epage 258
dc.event.title 7th Computer Science On-line Conference, CSOC 2018
dc.event.sdate 2018-04-25
dc.event.edate 2018-04-28
dc.type conferenceObject
dc.language.iso en
dc.publisher Springer Verlag
dc.identifier.doi 10.1007/978-3-319-91192-2_25
dc.relation.uri https://link.springer.com/chapter/10.1007/978-3-319-91192-2_25
dc.subject Cloud computing en
dc.subject Event B en
dc.subject Fault tolerance en
dc.subject Reliability en
dc.subject Rodin en
dc.subject Virtual machines en
dc.description.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. © 2019, Springer International Publishing AG, part of Springer Nature. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1007986
utb.identifier.obdid 43878652
utb.identifier.scopus 2-s2.0-85048045813
utb.source d-scopus
dc.date.accessioned 2018-07-27T08:47:38Z
dc.date.available 2018-07-27T08:47:38Z
dc.description.sponsorship MSMT-7778/2014, MŠMT, Ministerstvo Školství, Mládeže a Tělovýchovy; LO1303, MŠMT, Ministerstvo Školství, Mládeže a Tělovýchovy; IGA/CebiaTech/2017/ 007, FEDER, European Regional Development Fund; CZ.1.05/2.1.00/03.0089, FEDER, European Regional Development Fund
utb.contributor.internalauthor Alhaj Ali, Ammar Nassan
utb.contributor.internalauthor Jašek, Roman
utb.contributor.internalauthor Krayem, Said
utb.contributor.internalauthor Chramcov, Bronislav
utb.contributor.internalauthor Žáček, Petr
utb.fulltext.affiliation Ammar Alhaj Ali, Roman Jasek, Said Krayem, Bronislav Chramcov, Petr Zacek Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic; ammar282n@hotmail.com, {jasek,chramcov,zacek}@fai.utb.cz, drsaid@seznam.cz
utb.fulltext.dates -
utb.scopus.affiliation Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.faculty Faculty of Applied Informatics
Find Full text

Files in this item

Show simple item record