By Topic

Experience of responsiveness verification for connection establishment 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

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

The responsiveness verification of a given communication protocol is to check whether the given protocol can recover from any abnormal state to a normal state within a permissible time or not. In order to make practical discussions, we assume that the lower and upper bounds of execution time are given for each message transfer and event. We propose a new responsiveness verification method which executes several events concurrently based on residual times of events, and develop a simulator which implements the proposed method. Then we present an experience which applies the simulator to the design of an actual connection establishment protocol for a certain plant control system. The system adopts the client server model and real time constraints exist on connection establishments. In the experience, we first specify the protocol straightforwardly. Then we apply the simulator to the specification and detect design faults against responsiveness. Next, we revise the specification successfully based on the state sequences generated by the simulator. The results of the experience conclude that the proposed method is effective for the case study

Published in:

Object-Oriented Real-time Distributed Computing, 1998. (ISORC 98) Proceedings. 1998 First International Symposium on

Date of Conference:

20-22 Apr 1998