Formal Specification and Analysis of Termination Detection by Weight-throwing Protocol
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2018, Vol 9, Issue 4
Abstract
Termination detection is a critical problem in distributed systems. A distributed computation is called terminated if all of its processes become idle and there are no in-transit messages in communication channels. A distributed termination detection protocol is used to detect the state of a process at any time, i.e., terminated, idle or active. A termination detection protocol on the basis of weight-throwing scheme is described in Yu-Chee Tseng, “Detecting Termination by Weight-throwing in a Faulty Distributed System”, JPDC, 15 February 1995. We apply model checking techniques to verify the protocol and for formal specification and verification the tool-set UPPAAL is used. Our results show that the protocol fails to fulfil some of its functional requirements.
Authors and Affiliations
Imran Riaz Hasrat, Muhammad Atif
Keywords
Related Articles
- EP ID EP286329
- DOI 10.14569/IJACSA.2018.090441
- Views 109
- Downloads 0
GSM-Based Wireless Database Access For Food And Drug Administration And Control
GSM (Global system for mobile communication) based wireless database access for food and drug administration and control is a system that enables one to send a query to the database using the short messaging system...
Images Steganography Approach Supporting Chaotic Map Technique for the Security of Online Transfer
One of the most important issue in this domain is the security concern of the transfer data. The online transfer data may access illegally through attack the communication gate between the servers and the users. The main...
SmartFit: A Step Count Based Mobile Application for Engagement in Physical Activities
Research has found that relatively few people en-gage in regular exercise or other physical activities. Despite the availability of numerous mobile applications and specialized devices for self-tracking, people mostly la...
IRPanet: Intelligent Routing Protocol in VANET for Dynamic Route Optimization
This paper presents novel routing protocol, IRPANET (Intelligent Routing Protocol in VANET) for Vehicular Adhoc Network (VANET). Vehicular Ad Hoc Networks are special class of Mobile Adhoc Network, created by road vehicl...
Measuring the Data Openness for the Open Data in Saudi Arabia e-Government – A Case Study
Conceptually, data can be found at the lowest level of abstraction from where information and knowledge are being extracted. Furthermore, data itself has no meaning, unless it’s being interpreted and transferred into inf...