TBU Publications
Repository of TBU Publications

Fault tolerant sensor network using formal method Event-B

DSpace Repository

Show simple item record

dc.title Fault tolerant sensor network using formal method Event-B en
dc.contributor.author Nassan, Alhaj Ali Ammar
dc.contributor.author Chramcov, Bronislav
dc.contributor.author Jašek, Roman
dc.contributor.author Katta, Rasin
dc.contributor.author Krayem, Said
dc.relation.ispartof Lecture Notes in Networks and Systems
dc.identifier.issn 2367-3370 Scopus Sources, Sherpa/RoMEO, JCR
dc.identifier.isbn 978-3-03-077441-7
dc.date.issued 2021
utb.relation.volume 230
dc.citation.spage 317
dc.citation.epage 330
dc.event.title 10th Computer Science Online Conference, CSOC 2021
dc.event.location online
dc.event.sdate 2021-04-01
dc.event.edate 2021-04-01
dc.type conferenceObject
dc.language.iso en
dc.publisher Springer Science and Business Media Deutschland GmbH
dc.identifier.doi 10.1007/978-3-030-77442-4_27
dc.relation.uri https://link.springer.com/chapter/10.1007/978-3-030-77442-4_27
dc.subject C# en
dc.subject CPS en
dc.subject cyber physical system en
dc.subject Event-B en
dc.subject fault tolerance en
dc.subject modeling en
dc.subject Rodin en
dc.subject simulation en
dc.description.abstract Cyber physical systems (CPS) are being increasingly deployed in different critical infrastructures such as transportation, healthcare, power, water, and other networks, these deployments witnessed a growing complexity of components by increased use of advanced technologies like sensors, actuators, communication networks and multicore processors: this posed reliability as a major challenge. We face many issues to ensure the reliability of the CPS, especially in the presence of system failures, any sensor fault that occurs during the readings from the physical systems manipulates the knowledge extracted from the physical systems and is most likely to cause the loss of the CPS reliability unless appropriate measures are taken. In this paper we propose formal development of a software-based mechanism for fault tolerance in cyber physical system by the Event-B Method, in addition we present an approach to translate the Event-B model into C# code; which can be executed as a computer program or as simulation. © 2021, The Author(s), under exclusive license to Springer Nature Switzerland AG. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1010518
utb.identifier.obdid 43883207
utb.identifier.scopus 2-s2.0-85113391046
utb.source d-scopus
dc.date.accessioned 2021-09-06T20:39:29Z
dc.date.available 2021-09-06T20:39:29Z
dc.description.sponsorship Seventh Framework Programme, FP7; European Commission, EC
utb.contributor.internalauthor Nassan, Alhaj Ali Ammar
utb.contributor.internalauthor Chramcov, Bronislav
utb.contributor.internalauthor Jašek, Roman
utb.contributor.internalauthor Katta, Rasin
utb.contributor.internalauthor Krayem, Said
utb.fulltext.affiliation NASSAN, Alhaj Ali Ammar, Bronislav CHRAMCOV, Roman JAŠEK, Rasin KATTA, and Said KRAYEM Ammar282n@hotmail.com,{chramcov,jasek}@utb.cz, Katta@utb.cz,drsaid@seznam.cz
utb.fulltext.dates -
utb.fulltext.sponsorship -
utb.scopus.affiliation Faculty of Applied Informatics, Tomas Bata University in Zlin, Zlin, Czech Republic
utb.fulltext.projects -
utb.fulltext.faculty Faculty of Applied Informatics
utb.fulltext.ou -
Find Full text

Files in this item

Show simple item record