Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
- 1 April 1998
- journal article
- research article
- Published by Association for Computing Machinery (ACM) in Formal Aspects of Computing
- Vol. 10 (4), 313-337
- https://doi.org/10.1007/s001650050020
Abstract
: A case study is presented which concerns the design of an adaptive mechanism for packetised audio for use over the Internet. During the design process, the audio mechanism was modelled with the stochastically timed process algebra EMPA and analysed via simulation by the EMPA based software tool TwoTowers in order to predict the percentage of packets that are received in time for being played out. The predicted performance figures obtained from the algebraic model illustrated in advance the adequacy of the approach adopted in the design of the audio playout delay control mechanism. Based on these performance figures, it was possible to implement and develop the complete mechanism without incurring additional costs due to the late discovery of unexpected errors or inefficiency. Performance results obtained from experiments conducted on the field confirmed the predictive simulative results.Keywords
This publication has 11 references indexed in Scilit:
- A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent SystemsInformation and Computation, 1998
- A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and timeTheoretical Computer Science, 1998
- Successful multiparty audio communication over the InternetCommunications of the ACM, 1998
- Packet audio playout delay adjustment: performance bounds and algorithmsMultimedia Systems, 1998
- Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent SystemsPublished by Springer Science and Business Media LLC ,1998
- Synchronization support and group-membership services for reliable distributed multimedia applicationsMultimedia Systems, 1997
- An algebra-based method to associate rewards with EMPA termsLecture Notes in Computer Science, 1997
- Multimedia group synchronization protocols for integrated services networksIEEE Journal on Selected Areas in Communications, 1996
- Continuity and synchronization in MPEGIEEE Journal on Selected Areas in Communications, 1996
- Probabilistic clock synchronizationDistributed Computing, 1989