Formal Development of Fault-Tolerant Majority Based Replica Control Protocol using Event-B
Anupam Singh1, Raghuraj Suryavanshi2, Divakar Singh Yadav3

1Anupam Singh, Department of Computer Science and Engineering, PSIT Kanpur, India.

2Raghuraj Suryavanshi, Department of Computer Science and Engineering, PSIT Kanpur, India.

3Divakar Singh Yadav, Department of Computer Science and Engineering, IET Lucknow, India.

Manuscript received on 20 August 2019 | Revised Manuscript received on 27 August 2019 | Manuscript Published on 26 August 2019 | PP: 260-267 | Volume-8 Issue-9S August 2019 | Retrieval Number: I10410789S19/19©BEIESP | DOI: 10.35940/ijitee.I1041.0789S19

Open Access | Editorial and Publishing Policies | Cite | Mendeley | Indexing and Abstracting
© The Authors. Blue Eyes Intelligence Engineering and Sciences Publication (BEIESP). This is an open-access article under the CC-BY-NC-ND license (http://creativecommons.org/licenses/by-nc-nd/4.0/)

Abstract: In distributed environment, data availability and concurrency control both are challenging issues. Data availability can be maintained by replicating data at several locations or sites that will improve the availability but at the same time it is very challenging task to maintain the consistency of it. In order to improve the performance of the system, it is required to execute multiple transactions concurrently on several sites. Therefore, we need to control these concurrent transactions for maintaining consistency of replica. Replica control become more complex for the environment where messages are delayed due to communication failure. In this paper, we develop formal model of fault-tolerant replica control protocol Using Event-B. Formal methods are mathematical techniques through which we can verify the correctness of model. Event-B is a formal method which is used to develop the model in distributed environment.

Keywords: Formal Methods, Formal Verification, Event-B, Replication, Replica control Protocol.
Scope of the Article: Computer Network