A case study is presented which concerns the design of an adaptive mechanism for packetized audio for use over the Internet. During the design process, the audio mechanism was modeled with the stochastically timed process algebra EMPA and analyzed 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 in 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.
Formal Performance Modelling and Evaluation of an Adaptive Mechanism for Packetised Audio over the Internet
Bernardo, Marco;
1999
Abstract
A case study is presented which concerns the design of an adaptive mechanism for packetized audio for use over the Internet. During the design process, the audio mechanism was modeled with the stochastically timed process algebra EMPA and analyzed 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 in 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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
