Self-stabilizing fault tolerance distributed cyber physical systems

Result code in 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>
Result on the web
<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>

Result language
angličtina
Original language name
Self-stabilizing fault tolerance distributed cyber physical systems
Original language description
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.
Czech name
—
Czech description
—

Project
<a href="/en/project/LO1303" target="_blank" >LO1303: Promoting sustainability and development of the Centre for Security, Information and Advanced Technologies (CEBIA-Tech)</a><br>
Continuities
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

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

Article name in the collection
Proceedings of the 29th DAAAM International Symposium
ISBN
978-3-902734-20-4
ISSN
1726-9679
e-ISSN
neuvedeno
Number of pages
8
Pages from-to
1173-1180
Publisher name
DAAAM International Vienna
Place of publication
Vienna
Event location
Zadar
Event date
Oct 24, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—

Similar results(10)