Stochastically timed process algebras based software tools are becoming an important technology to be used for carrying out both functional and performance analysis of several and different case studies (e.g. distributed algorithms, communication protocols, ATM switches, ...). TwoTowers is one of those tools which has been recently enhanced with routines for accepting and analyzing -- via discrete event simulation -- systems specified with value passing EMPA, a stochastically timed process algebra where durations can follow any probability distribution. We show the usefulness of these extensions by a case study concerning two realistic mechanisms for audio transmission over the Internet that have been modeled in value passing EMPA and then simulated by TwoTowers under various (experimentally obtained on the field or randomly generated) traffic conditions. The discrete event simulation of the two value passing EMPA specifications has revealed that neither of the two mechanisms outperforms the other in general, as their performance depends on the traffic conditions.
A Simulative Analysis of Internet Audio Mechanisms Using Formal Methods
Aldini, Alessandro;Bernardo, Marco;
1999
Abstract
Stochastically timed process algebras based software tools are becoming an important technology to be used for carrying out both functional and performance analysis of several and different case studies (e.g. distributed algorithms, communication protocols, ATM switches, ...). TwoTowers is one of those tools which has been recently enhanced with routines for accepting and analyzing -- via discrete event simulation -- systems specified with value passing EMPA, a stochastically timed process algebra where durations can follow any probability distribution. We show the usefulness of these extensions by a case study concerning two realistic mechanisms for audio transmission over the Internet that have been modeled in value passing EMPA and then simulated by TwoTowers under various (experimentally obtained on the field or randomly generated) traffic conditions. The discrete event simulation of the two value passing EMPA specifications has revealed that neither of the two mechanisms outperforms the other in general, as their performance depends on the traffic conditions.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
