Formal Aspects of Computing

, Volume 10, Issue 4, pp 313–337 | Cite as

Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet

  • Marco Bernardo
  • Roberto Gorrieri
  • Marco Roccetti
Original Paper

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: Formal support to system design; Packetised audio; Process algebras; Performance evaluation; Simulation 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© BCS 1998

Authors and Affiliations

  • Marco Bernardo
    • 1
  • Roberto Gorrieri
    • 1
  • Marco Roccetti
    • 1
  1. 1.Università di Bologna, Dipartimento di Scienze dell'Informazione, Bologna, ItalyIT

Personalised recommendations