Title :
Timed reachability analysis method for communication protocols with time intervals
Author :
Nagano, Shin Ichi ; Kakuda, Yoshiaki ; Kikuno, Tohru
Author_Institution :
Dept. of Inf. & Comput. Sci., Osaka Univ., Japan
Abstract :
As communication systems have progressed rapidly, real time performance has been required for communication systems recently. In order to meet this demand, communication protocols must have real time processing capabilities. We assume that an execution time of each event has an interval for which the lower and upper bounds are specified. Under this assumption, we propose a timed reachability analysis method considering these time intervals so as to verify several real time properties of practical communication protocols
Keywords :
performance evaluation; program diagnostics; protocols; reachability analysis; real-time systems; communication protocols; communication systems; real time performance; real time processing capabilities; real time properties; time intervals; timed reachability analysis method; Concurrent computing; Electronic mail; Multimedia communication; Multimedia systems; Protocols; Reachability analysis; Real time systems; Upper bound;
Conference_Titel :
Parallel and Distributed Real-Time Systems, 1996. Proceedings of the 4th International Workshop on
Conference_Location :
Honolulu, HI
Print_ISBN :
0-8186-7515-2
DOI :
10.1109/WPDRTS.1996.557677
