By Topic

Design of protocols in Timed CSP for highly reliable and available client-server system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
N. Ogura ; Nihon Unisys Ltd., Tokyo, Japan ; K. Saisho ; A. Fukuda

In a distributed environment, a client-server model is often used because of its ease of implementation. The reliability of the server on the model determines the reliability of the whole system. By making a backup server, the tolerance of server failure can be improved. This method, however, has a long recovery time because a recovery operation includes generally detecting failure, switching to the backup server, starting the server process, and re-executing services executed at failure. Thus, the method cannot be introduced to application areas that have time constraints. The authors aim to implement the highly reliable and available client-server system which is able to recover failures in a very short time. In order to shorten recovery time, process level replication is employed. A server process has more than one copies on different hosts. Copies keep the same status as the original process. Thus, they can replace the original process very quickly when a failure occurs. Several protocols, such as updating the status of copies and recovering from failures, must be specified in order to implement the proposed system. In this paper, protocols for updating copies and recovering from failures are described formally in Timed CSP, which is a process algebraic language, for defining them precisely

Published in:

Software Engineering Conference, 1997. Asia Pacific ... and International Computer Science Conference 1997. APSEC '97 and ICSC '97. Proceedings

Date of Conference:

2-5 Dec 1997