A New Verification Method Using Virtual System States for Responsive Communication Protocols and Its Application to a Broadcasting Protocol
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
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
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://global.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 -
English
