A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol

Shin'ichi NAGANO; Yoshiaki KAKUDA; Tohru KIKUNO

A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol

Shin'ichi NAGANO, Yoshiaki KAKUDA, Tohru KIKUNO

Full Text Views

0

Share
Cite this

Summary :

Verification of responsive communication protocols is to determine whether they can recover to a normal state within a predetermined time, even when they enter an abnormal state due to any fault. In this paper, we propose a new verification method for responsive communication protocols using virtual system states, each of which represents several system states. Next, in order to evaluate the effectiveness of the new method, we develop a verification tool based on the proposed method. Then we apply the tool to a broadcasting protocol and measure several metrics on the tool. The experimental results show that (1) the number of system states, (2) the amount of memory used by the tool, and (3) the execution time of the tool, can be drastically reduced.

Publication: IEICE TRANSACTIONS on Fundamentals Vol.E81-A No.4 pp.596-604

Publication Date: 1998/04/25

Publicized

Online ISSN

DOI

Type of Manuscript: Special Section PAPER (Special Section on Concurrent Systems Technology)

Category

Cite this

Copy

Shin'ichi NAGANO, Yoshiaki KAKUDA, Tohru KIKUNO, "A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol" in IEICE TRANSACTIONS on Fundamentals, vol. E81-A, no. 4, pp. 596-604, April 1998, doi: .
Abstract: Verification of responsive communication protocols is to determine whether they can recover to a normal state within a predetermined time, even when they enter an abnormal state due to any fault. In this paper, we propose a new verification method for responsive communication protocols using virtual system states, each of which represents several system states. Next, in order to evaluate the effectiveness of the new method, we develop a verification tool based on the proposed method. Then we apply the tool to a broadcasting protocol and measure several metrics on the tool. The experimental results show that (1) the number of system states, (2) the amount of memory used by the tool, and (3) the execution time of the tool, can be drastically reduced.
URL: https://globals.ieice.org/en_transactions/fundamentals/10.1587/e81-a_4_596/_p

Copy

@ARTICLE{e81-a_4_596,
author={Shin'ichi NAGANO, Yoshiaki KAKUDA, Tohru KIKUNO, },
journal={IEICE TRANSACTIONS on Fundamentals},
title={A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol},
year={1998},
volume={E81-A},
number={4},
pages={596-604},
abstract={Verification of responsive communication protocols is to determine whether they can recover to a normal state within a predetermined time, even when they enter an abnormal state due to any fault. In this paper, we propose a new verification method for responsive communication protocols using virtual system states, each of which represents several system states. Next, in order to evaluate the effectiveness of the new method, we develop a verification tool based on the proposed method. Then we apply the tool to a broadcasting protocol and measure several metrics on the tool. The experimental results show that (1) the number of system states, (2) the amount of memory used by the tool, and (3) the execution time of the tool, can be drastically reduced.},
keywords={},
doi={},
ISSN={},
month={April},}

Copy

TY - JOUR
TI - A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
T2 - IEICE TRANSACTIONS on Fundamentals
SP - 596
EP - 604
AU - Shin'ichi NAGANO
AU - Yoshiaki KAKUDA
AU - Tohru KIKUNO
PY - 1998
DO -
JO - IEICE TRANSACTIONS on Fundamentals
SN -
VL - E81-A
IS - 4
JA - IEICE TRANSACTIONS on Fundamentals
Y1 - April 1998
AB - Verification of responsive communication protocols is to determine whether they can recover to a normal state within a predetermined time, even when they enter an abnormal state due to any fault. In this paper, we propose a new verification method for responsive communication protocols using virtual system states, each of which represents several system states. Next, in order to evaluate the effectiveness of the new method, we develop a verification tool based on the proposed method. Then we apply the tool to a broadcasting protocol and measure several metrics on the tool. The experimental results show that (1) the number of system states, (2) the amount of memory used by the tool, and (3) the execution time of the tool, can be drastically reduced.
ER -