Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F19%3A63520008" target="_blank" >RIV/70883521:28140/19:63520008 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-91192-2_25" target="_blank" >http://dx.doi.org/10.1007/978-3-319-91192-2_25</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-91192-2_25" target="_blank" >10.1007/978-3-319-91192-2_25</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Improved Adaptive Fault Tolerance Model for Increasing Reliability in Cloud Computing Using Event-B

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2019

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Advances in Intelligent Systems and Computing, Volume 765

ISBN

978-331991191-5

ISSN

2194-5357

e-ISSN

—

Počet stran výsledku

13

Strana od-do

246-258

Název nakladatele

Springer Verlag

Místo vydání

Berlín

Místo konání akce

Zlín

Datum konání akce

25. 4. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—