By Topic

Experimental evaluation of simplified verification methods for responsive communication protocols

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
$31 $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

2 Author(s)
Nagano, S. ; Dept. of Inf. & Math. Sci., Osaka Univ., Japan ; Kikuno, T.

We consider responsiveness verification of communication protocols on the client-server system CSN, which consists of one client site and N (N⩾2) server sites, under the assumption that a single transient failure occurs on any one server site. For the verification, a typical naive method NAIV generates exhaustively all abnormal system states reachable after the failure, and then calculates the recovery time needed for returning to a normal state. We propose two simplified methods (RSY M and EST) to reduce the overheads needed for the method NAIV. The first method (RSY M) takes notice of symmetric properties on the system CSN and considers the case where a single transient failure occurs on a specific server site. The second method (EST) verifies the responsiveness on the restricted system CS2, and then estimates from its result the responsiveness on the system CSN. Then we perform simulation experiments to evaluate the proposed methods. The experimental results show that: the first method RSY M can reduce the overheads of the method NAIV, while keeping accuracy in evaluating the recovery time; and the second method EST succeeds in both reducing further the overheads of the method RSY M and assuring good approximation for the recovery time

Published in:

Real-Time Computing Systems and Applications, 1998. Proceedings. Fifth International Conference on

Date of Conference:

27-29 Oct 1998