We present an application of the stochastically timed process algebra EMPAr to the performance modeling and analysis of an ATM switch. The switch is formally represented by means of a discrete time model based on the assumption of Bernoulli incoming traffic. Two algebraic descriptions are provided: the former concerns an ATM switch supporting UBR service only, the latter an ATM switch supporting UBR and ABR services. The two descriptions are then compared by automatically evaluating their performance by means of the EMPAr based software tool TwoTowers.

Using EMPA for the Performance Evaluation of an ATM Switch

Bernardo, Marco
1998

Abstract

We present an application of the stochastically timed process algebra EMPAr to the performance modeling and analysis of an ATM switch. The switch is formally represented by means of a discrete time model based on the assumption of Bernoulli incoming traffic. Two algebraic descriptions are provided: the former concerns an ATM switch supporting UBR service only, the latter an ATM switch supporting UBR and ABR services. The two descriptions are then compared by automatically evaluating their performance by means of the EMPAr based software tool TwoTowers.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/11576/1891845
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact