We present two applications of the stochastically timed process algebra EMPA. The first one is concerned with the compositional modeling of the CSMA/CD protocol and the determination of its utilization. The second one is concerned with the description of a queueing system representing a computing center where failures and repairs can occur, and the compositional assessment of its performability. In both cases, the technique of rewards is used to determine performance measures.
Two Exercises with EMPA: Computing the Utilization of the CSMA/CD Protocol and Assessing the Performability of a Queueing System
Bernardo, Marco
1997
Abstract
We present two applications of the stochastically timed process algebra EMPA. The first one is concerned with the compositional modeling of the CSMA/CD protocol and the determination of its utilization. The second one is concerned with the description of a queueing system representing a computing center where failures and repairs can occur, and the compositional assessment of its performability. In both cases, the technique of rewards is used to determine performance measures.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.
