Self-stabilizing fault tolerance distributed cyber physical systems

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F70883521%3A28140%2F18%3A63520611" target="_blank" >RIV/70883521:28140/18:63520611 - isvavai.cz</a>

Výsledek na webu

<a href="http://www.daaam.info/Downloads/Pdfs/proceedings/proceedings_2018/169.pdf" target="_blank" >http://www.daaam.info/Downloads/Pdfs/proceedings/proceedings_2018/169.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.2507/29th.daaam.proceedings.169" target="_blank" >10.2507/29th.daaam.proceedings.169</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Self-stabilizing fault tolerance distributed cyber physical systems

Popis výsledku v původním jazyce

Distributed Cyber-physical systems (DCPS) represent a new field in automatic control and recently they are increasingly used in life critical system, where the probability of tragic failure has to be kept below very low levels. In other side, fault tolerance has been used to face failures and achieve best performance of systems. Thus, it becomes critical to develop models that are tolerant toward the failure of system. This will enable guarantee of DCPS that will continue to run even through failure status. In this paper we take self-stabilizing as an example of fault tolerance in distributed cyber physical systems, where self-stabilization provides non-masking approach to fault tolerance. Then the Event-B approach is presented as formal method for system-level modelling and analysis. It is proposed using the Rodin modelling tool for Event-B that integrates modelling and proving.

Název v anglickém jazyce

Self-stabilizing fault tolerance distributed cyber physical systems

Popis výsledku anglicky

Distributed Cyber-physical systems (DCPS) represent a new field in automatic control and recently they are increasingly used in life critical system, where the probability of tragic failure has to be kept below very low levels. In other side, fault tolerance has been used to face failures and achieve best performance of systems. Thus, it becomes critical to develop models that are tolerant toward the failure of system. This will enable guarantee of DCPS that will continue to run even through failure status. In this paper we take self-stabilizing as an example of fault tolerance in distributed cyber physical systems, where self-stabilization provides non-masking approach to fault tolerance. Then the Event-B approach is presented as formal method for system-level modelling and analysis. It is proposed using the Rodin modelling tool for Event-B that integrates modelling and proving.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

<a href="/cs/project/LO1303" target="_blank" >LO1303: Podpora udržitelnosti a rozvoje Centra bezpečnostních, informačních a pokročilých technologií (CEBIA-Tech)</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach<br>I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

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

Proceedings of the 29th DAAAM International Symposium

ISBN

978-3-902734-20-4

ISSN

1726-9679

e-ISSN

neuvedeno

Počet stran výsledku

8

Strana od-do

1173-1180

Název nakladatele

DAAAM International Vienna

Místo vydání

Vienna

Místo konání akce

Zadar

Datum konání akce

24. 10. 2018

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

WRD - Celosvětová akce

Kód UT WoS článku

—