Application of real-time temporal logic to design fault detection in responsive communication protocols
S. Nagano, Hideaki Fujita, Yoshiaki Kakuda, Tohru Kikuno · 2002
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.