Discrete real-time and stochastic-time process algebra for performance analysis of distributed systems

Author

Markovski, J. ; de Vink, E.P.

Author_Institution

Formal Methods Group, Tech. Univ. Eindhoven, Eindhoven

fYear

2008

fDate

23-27 June 2008

Firstpage

180

Lastpage

189

Abstract

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 chi. We compare performance analysis using timed probabilistic reward graphs and discrete-event simulation.

Keywords

formal specification; parallel processing; process algebra; stochastic processes; concurrent alternating bit protocol; discrete real-time process algebra; discrete-event simulation; distributed system; formal specification; maximal progress operator; parallel composition; performance analysis; specification language; stochastic-time process algebra; time delay; timed probabilistic reward graph; Algebra; Automata; Clocks; Delay effects; Discrete event simulation; Performance analysis; Protocols; Real time systems; Stochastic processes; Stochastic systems;

fLanguage

English

Publisher

ieee

Conference_Titel

Application of Concurrency to System Design, 2008. ACSD 2008. 8th International Conference on

Conference_Location

Xian

ISSN

1550-4808

Print_ISBN

978-1-4244-1838-1

Electronic_ISBN

1550-4808

Type

conf

DOI

10.1109/ACSD.2008.4574610

Filename

4574610