Title :
Application of real-time temporal logic to design fault detection in responsive communication protocols
Author :
Nagano, Shigeo ; Fujita, Hideaki ; Kakuda, Yoshiaki ; Kikuno, T.
Author_Institution :
Graduate Sch. of Eng. Sci., Osaka Univ.
Abstract :
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
Keywords :
fault diagnosis; fault tolerant computing; finite state machines; protocols; real-time systems; temporal logic; connection establishment protocol; design fault detection; design faults; fault-tolerant properties; plant control system; real-time temporal logic; responsive communication protocols; Automata; Communication channels; Delay; Design engineering; Fault detection; Fault tolerance; Logic design; Protocols; Reachability analysis; Real time systems; Upper bound;
Conference_Titel :
Test Symposium, 1998. ATS '98. Proceedings. Seventh Asian
Print_ISBN :
0-8186-8277-9
DOI :
10.1109/ATS.1998.741648
