loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh Asian Test Symposium (ATS'98)
Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols
Singapore
December 02-December 04
ISBN: 0-8186-8277-9
ASCII Text
x 
 
Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno, "Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols," Asian Test Symposium, pp. 408, Seventh Asian Test Symposium (ATS'98), 1998.
 
 
BibTex
x
 
@article{ 10.1109/ATS.1998.741648,
author = {Shin'ichi Nagano and Hiroyuki Fujita and Yoshiaki Kakuda and Tohru Kikuno},
title = {Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols},
journal ={Asian Test Symposium},
volume = {0},
year = {1998},
issn = {1081-7735},
pages = {408},
doi = {http://doi.ieeecomputersociety.org/10.1109/ATS.1998.741648},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Asian Test Symposium
TI - Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols
SN - 1081-7735
SP
EP
A1 - Shin'ichi Nagano,
A1 - Hiroyuki Fujita,
A1 - Yoshiaki Kakuda,
A1 - Tohru Kikuno,
PY - 1998
VL - 0
JA - Asian Test Symposium
ER -
 
Responsive communication protocols must incorporate both real-time and fault-tolerant properties. In this paper, we propose a new method for detecting design faults in specifications of responsive communication protocols based on real-time temporal logic. We also present a case study where a connection establishment protocol for a plant control system is dealt with.
Citation:
Shin'ichi Nagano, Hiroyuki Fujita, Yoshiaki Kakuda, Tohru Kikuno, "Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols," ats, pp.408, Seventh Asian Test Symposium (ATS'98), 1998
Usage of this product signifies your acceptance of the Terms of Use.