Discrete Real-Time and Stochastic-Time Process Algebra for Performance Analysis of Distributed Systems

被引：0
|
作者：
Markovski, J. [1 ]
de Vink, E. P. [1 ]
机构：
[1] Tech Univ Eindhoven, Formal Methods Grp, NL-5612 AZ Eindhoven, Netherlands
来源：
2008 8TH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS | 2008年
关键词：
D O I：
10.1109/ACSD.2008.4574610
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
We present a process algebra with conditionally distributed discrete-time delays and generally-distributed stochastic delays. The treatment allows for expansion laws for the parallel composition and the maximal progress operator. The approach is illustrated by a specification of the concurrent alternating bit protocol with generally-distributed unreliable channels in the language X. We compare performance analysis using timed probabilistic reward graphs and discrete-event simulation.
引用
收藏
页码：180 / 189
页数：10
相关论文
共 50 条
  • [1] Performance Evaluation of Distributed Systems Based on a Discrete Real- and Stochastic-Time Process Algebra
    Markovski, Jasen
    de Vink, Erik P.
    [J]. FUNDAMENTA INFORMATICAE, 2009, 95 (01) : 157 - 186
  • [2] Real-time process algebra with stochastic delays
    Markovski, J.
    de Vink, E. P.
    [J]. SEVENTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2007, : 177 - +
  • [3] Real-time performance estimation for dynamic, distributed real-time systems
    Huh, EN
    Welch, LR
    Mun, Y
    [J]. COMPUTATIONAL SCIENCE-ICCS 2002, PT III, PROCEEDINGS, 2002, 2331 : 1071 - 1079
  • [4] A process algebra for real-time programs
    Dierks, H
    [J]. FUNDAMENTAL APPROACHES TO SOFTWARE ENGINEERING, 2000, 1783 : 66 - 81
  • [5] ABSTRACTION IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 325 - 352
  • [6] The real-time process algebra (RTPA)
    Wang, YX
    [J]. ANNALS OF SOFTWARE ENGINEERING, 2002, 14 (1-4) : 235 - 274
  • [7] COMPLETENESS IN REAL-TIME PROCESS ALGEBRA
    KLUSENER, AS
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1991, 527 : 376 - 392
  • [8] Stochastic analysis of periodic real-time systems
    Díaz, JL
    García, DF
    Kim, K
    Lee, CG
    Lo Bello, L
    López, JM
    Min, SL
    Mirabella, O
    [J]. 23RD IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 2002, : 289 - 300
  • [9] Performance analysis of distributed real-time databases
    Fricks, RM
    Puliafito, A
    Trivedi, KS
    [J]. IEEE INTERNATIONAL COMPUTER PERFORMANCE AND DEPENDABILITY SYMPOSIUM -PROCEEDINGS, 1998, : 184 - 194
  • [10] Performance analysis of distributed real-time databases
    Fricks, RM
    Puliafito, A
    Trivedi, KS
    [J]. PERFORMANCE EVALUATION, 1999, 35 (3-4) : 145 - 169
12345