zbMATH — the first resource for mathematics

Analysis of a multimedia stream using stochastic process algebra. (English) Zbl 0993.68068
Summary: It is now well recognized that the next generation of distributed systems will be distributed multimedia systems. Central to multimedia systems is quality of service, which defines the non functional requirements on the system. In this paper we investigate how stochastic process algebra can be used in order to determine the quality of service properties of distributed multimedia systems. We use a simple multimedia stream as our basic example. We describe it in the stochastic process algebra PEPA and then we analyze whether the stream satisfies a set of quality of service parameters: throughput, end-to-end latency, jitter and error rates.

68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68M14 Distributed systems
Uppaal; LOTOS
Full Text: DOI