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 条
  • [41] APPROXIMATE ANALYSIS OF DISTRIBUTED SEMIHARD REAL-TIME SYSTEMS
    MARINESCU, DC
    [J]. IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1987, 32 (12) : 1097 - 1100
  • [42] Applying sensitivity analysis in real-time distributed systems
    Racu, R
    Jersak, M
    Ernst, R
    [J]. RTAS 2005: 11th IEEE Real Time and Embedded Technology and Applications Symposium, Proceedings, 2005, : 160 - 169
  • [43] Analysis and optimization of distributed real-time embedded systems
    Pop, Paul
    Eles, Petru
    Peng, Zebo
    Pop, Traian
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2006, 11 (03) : 593 - 625
  • [44] Scheduling analysis of distributed real-time embedded systems
    Zhang, Haitao
    Zhang, Songcan
    [J]. Journal of Computational Information Systems, 2010, 6 (07): : 2373 - 2382
  • [45] PERFORMABILITY ANALYSIS OF DISTRIBUTED REAL-TIME SYSTEMS - COMMENTS
    SHALLOF, A
    BENNETT, S
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 1994, 43 (02) : 255 - 256
  • [46] THE ANALYSIS OF CAN AND ETHERNET IN DISTRIBUTED REAL-TIME SYSTEMS
    Cojocaru, Siegfried
    Radoi, Constantin
    Stancescu, Stefan
    [J]. UNIVERSITY POLITEHNICA OF BUCHAREST SCIENTIFIC BULLETIN SERIES C-ELECTRICAL ENGINEERING AND COMPUTER SCIENCE, 2009, 71 (04): : 27 - 34
  • [47] Performance of real-time distributed arrival time control in heterarchical manufacturing systems
    Prabhu, VV
    [J]. IIE TRANSACTIONS, 2000, 32 (04) : 323 - 331
  • [48] Real-time commit protocol for distributed real-time database systems
    Yoon, Y
    Han, M
    Cho, J
    [J]. SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 221 - 225
  • [49] Message passing architectures for stochastic and dynamic distributed real-time systems
    Andrews, D
    Apon, A
    Welch, L
    [J]. CONFERENCE PROCEEDINGS OF THE 2001 IEEE INTERNATIONAL PERFORMANCE, COMPUTING, AND COMMUNICATIONS CONFERENCE, 2001, : 367 - 372
  • [50] Performance analysis of soft real-time systems
    Rooholamini, M
    Hosseini, SH
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOLS I-III, PROCEEDINGS, 1997, : 1614 - 1622
12345