Network calculus is a min-plus system theory which facilitates the efficient derivation of
performance bounds for networks of queues. It has successfully been applied to provide end …

Integrating applications with different safety requirements on a common platform requires
either certification of all applications to the highest safety level or" sufficient independence" …

Abstract Quality of Service (QoS) is an important issue in the development of integrated-
service networks. The success in the deployment of such networks will critically depend on …

Model-based verification of timing properties has become industrial practice in design
processes of safety-critical hard real-time systems. To validate the correctness of the used …

A packet scheduler in a quality-of-service (QoS) network should be sophisticated enough to
support stringent QoS constraints at high loads, but it must also have a simple …

The load generated by new types of communications services related to multimedia and
video transmission is becoming one of the major sources of traffic in WAN networks …

The drastic improvement of network performance in terms of throughput and error rate
coupled with the continuous increase in power of end-systems have led to the emergence of …

Editor's note: Performance verification for real-time systems is based on system models for
which it is possible to formally derive safe timing parameters such as worst case response …

One of the major attractions of asynchronous transfer mode (ATM) networks for transporting
bursty video traffic is its ability to exploit the multiplexing gains of packet switching while …

Quality of service mechanisms and differentiated service classes are increasingly available
in networks and servers. While network clients can assess their service by measuring basic …