DocumentCode
2162575
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
fYear
1996
fDate
15-16 Apr 1996
Firstpage
188
Lastpage
191
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/WPDRTS.1996.557677
Filename
557677
Link To Document