Kontaktujte nás | Jazyk: čeština English
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 |