Title :
Performance analysis of stochastic process algebra models using stochastic simulation
Author :
Bradley, Jeremy T. ; Gilmore, Stephen T. ; Thomas, Nigel
Author_Institution :
Dept. of Comput., Imperial Coll. London
Abstract :
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process description, we can use tools developed for chemical and biochemical reaction analysis to provide time-series output for models with state spaces of O(1010000) and beyond. We apply these techniques to a significant case study: that of a secure electronic voting protocol
Keywords :
process algebra; simulation; state-space methods; stochastic processes; time series; biochemical reaction analysis; chemical reaction analysis; performance analysis; secure electronic voting protocol; stochastic process algebra model; stochastic simulation; time series; Algebra; Analytical models; Biochemical analysis; Chemical analysis; Chemical processes; Equations; Performance analysis; State-space methods; Stochastic processes; Time series analysis;
Conference_Titel :
Parallel and Distributed Processing Symposium, 2006. IPDPS 2006. 20th International
Conference_Location :
Rhodes Island
Print_ISBN :
1-4244-0054-6
DOI :
10.1109/IPDPS.2006.1639627