Analysis of a multimedia stream using stochastic process algebra

被引：10

作者：

Bowman, H ^{[1
]}

Bryans, JW ^{[1
]}

Derrick, J ^{[1
]}

机构：

[1] Univ Kent, Comp Lab, Canterbury CT2 7NF, Kent, England

来源：

COMPUTER JOURNAL | 2001年 / 44卷 / 04期

关键词：

D O I：

10.1093/comjnl/44.4.230

中图分类号：

TP3 [计算技术、计算机技术];

学科分类号：

0812 ;

摘要：

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 nonfunctional 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 analyse whether the stream satisfies a set of quality of service parameters: throughput, end-to-end latency, jitter and error rates.

引用

页码：230 / 245

页数：16

共 50 条

[21] A stochastic causality-based process algebra
Brinksma, E
Katoen, JP
Langerak, R
Latella, D
COMPUTER JOURNAL, 1995, 38 (07): : 552 - 565
[22] State Equations in Stochastic Process Algebra Models
Ding, Jie
Zhu, Xin-Shan
Chen, Xiao
IEEE ACCESS, 2019, 7 : 61195 - 61203
[23] A Novel Formal Analysis Method of Network Survivability Based on Stochastic Process Algebra
Center of Computer Network and Information, Harbin Normal University, Harbin, 150001, China
不详
Tsinghua Sci. Tech., 2007, SUPPL. 1 (175-179):
[24] Stochastic Process Algebra Based Software Process Simulation Modeling
Zhai, Jian
Yang, Qiusong
Su, Feng
Xiao, Junchao
Wang, Qing
Li, Mingshu
TRUSTWORTHY SOFTWARE DEVELOPMENT PROCESSES, PROCEEDINGS, 2009, 5543 : 136 - +
[25] Exploiting stochastic process algebra achievements for generalized stochastic Petri nets
Hermanns, H
Herzog, U
Mertsiotakis, V
Rettelbach, M
PROCEEDINGS OF THE SEVENTH INTERNATIONAL WORKSHOP ON PETRI NETS AND PERFORMANCE MODELS, 1997, : 183 - 192
[26] Research on Production Process Control Method Combined Stochastic Process Algebra and Stochastic Petri Nets
LIU Chang SHI Haibo Shenyang Instof AutomationChinese Academy of SciencesShenyang China
武汉理工大学学报, 2006, (S2) : 428 - 434
[27] Research on production process control method combined stochastic process algebra and stochastic Petri nets
Liu Chang
Shi Haibo
1ST INTERNATIONAL SYMPOSIUM ON DIGITAL MANUFACTURE, VOLS 1-3, 2006, : 428 - 434
[28] Using stochastic process algebra models to estimate the quality of information in military sensor networks
Thornley, David J.
Bisdikian, Chatschik
Gillies, Duncan F.
MODELING AND SIMULATION FOR MILITARY OPERATIONS III, 2008, 6965
[29] Modelling the influence of RKIP on the ERK signalling pathway using the Stochastic process algebra PEPA
Calder, Muffy
Gilmore, Stephen
Hillston, Jane
TRANSACTIONS ON COMPUTATIONAL SYSTEMS BIOLOGY VII, 2006, 4230 : 1 - 23
[30] Real-time process algebra with stochastic delays
Markovski, J.
de Vink, E. P.
SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 177 - +

← 1 2 3 4 5 →