Abstract
The advent of high speed networks has introduced opportunities for new distributed applications, such as video conferencing, medical imaging, and telephony over Internet. These applications have stringent performance requirements. Thus, the ability of networks to handle traffics requiring the guarantee of quality of service, particularly the guarantee of end-to-end delay, jitter and loss bounds, is becoming more and more important. This paper examines one of the most promising networks for future distributed real-time applications, namely ATM (asynchronous transfer mode). Two services of ATM, constant bit rate and real-time variable bit rate services, make ATM suitable for distributed real-time applications. However, there exist many challenges before we can actually deploy ATM for real-time applications. One challenge is to provide users with a formal approach to map timing constraints of messages onto ATM services, and to verify correctness of such a mapping. This paper presents a contribution to take up such a challenge. It proposes an approach for automatic translation of constraints (deadlines and jitter) of hard real-time messages into traffic and QoS parameters of ATM connections.