- 【Updated on May 12, 2025】 Integration of CiNii Dissertations and CiNii Books into CiNii Research
- Trial version of CiNii Research Knowledge Graph Search feature is available on CiNii Labs
- 【Updated on June 30, 2025】Suspension and deletion of data provided by Nikkei BP
- Regarding the recording of “Research Data” and “Evidence Data”
Timed reachability analysis method for communication protocols with time intervals
Description
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.
Journal
-
- Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems
-
Proceedings of the 4th International Workshop on Parallel and Distributed Real-Time Systems 188-191, 2002-12-23
IEEE Comput. Soc. Press