Comparing the QoS of Internet Audio Mechanisms via Formal Methods

We compute and compare the quality of service (QoS) of three soft real time applications for audio transmission over the Internet. The main metric we consider to capture the user perception of audio is the average packet audio playout delay vs. the packet loss rate. Other metrics we take into account are the packet loss rate vs. the receiving buffer capacity, the lateness of discarded packets vs. the average packet audio playout delay, and the waiting time in the receiver buffer for the played packets vs. the average packet audio playout delay. The study is conducted on formal descriptions of the three audio mechanisms expressed in the process algebraic language EMPA, which are analyzed via simulation through the software tool TwoTowers under various (experimentally obtained or randomly generated) traffic conditions. The stochastic process algebra EMPA has been used because of its compositional support to system modeling, its adequacy to allow functional properties of systems to be formally verified (unlike conventional simulators), and its capability of representing generally distributed durations (which come into play in the three audio mechanisms). The comparison reveals that neither of the three mechanisms outperforms the other two in general, as their performance depends on the traffic conditions

Analysis and Automatic Detection of Information Flows in Systems and Networks

S. All local authors can be reached via e-mail at the address [email protected]. Questions and comments should be addressed to [email protected]. Recent Titles from the UBLCS Technical Report Series 99-1 Deciding and Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Renement, M. Bravetti, R. Gorrieri, February 1999. 99-2 A Theory of Eciency for Markovian Processes, M. Bernardo, W.R. Cleaveland, February 1999. 99-3 A Reliable Registry for the Jgroup Distributed Object Model, A. Montresor, March 1999. 99-4 Comparing the QoS of Internet Audio Mechanisms via Formal Methods, A. Aldini, M. Bernardo, R. Gorrieri, M. Roccetti, March 1999. 99-5 Group-Enhanced Remote Method Invocations, A. Montresor, R. Davoli, O. Babao glu, April 1999. 99-6 Managing Complex Documents Over the WWW: a Case Study for XML, P. Ciancarini, F. Vitali, C. Mascolo, April 1999. 99-7 Data-Flow Hard Real-Time Programs: Scheduling Processors and Communication Channels in a Distribute..