Application of Real-Time Temporal Logic to Design Fault Detection in Responsive Communication Protocols Shin'ichi Naganot Hiroyuki Fujitat Yoshiaki Kakudat Tohru Kikunot t Graduate School of Engineering Science
Osaka Universit · 1998
Responsive communication protocols must in.corpo,rate both real-tsrrie arid farilt-tolerant proper.ties. hi tliis paper; 'we prop~ise a ne'w ,method for detecting design. fo.ialts in, specificationx of responxive comm.un.ication protocols based on real-time tcmporal logic. We also present a case study where a connection establishment protocol for a plan,t con'trol system is dealt with.