First passage time analysis of stochastic process algebra using partial orders


Share/Save/Bookmark

Ruys, T.C. and Langerak, R. and Katoen, J.P. and Latella, D. and Massink, M. (2001) First passage time analysis of stochastic process algebra using partial orders. In: Tools and Algorithms for the Construction and Analysis of Systems (pp. pp. 220-235).

[img] PDF
Restricted to UT campus only
: Request a copy
282kB
Abstract:This paper proposes a partial-order semantics for a stochastic process algebra that supports general (non-memoryless) distributions and combines this with an approach to numerically analyse the first passage time of an event. Based on an adaptation of McMillan's complete finite prefix approach tailored to event structures and process algebra, finite representations are obtained for recursive processes. The behaviour between two events is now captured by a partial order that is mapped on a stochastic task graph, a structure amenable to numerical analysis. Our approach is supported by the (new) tool FOREST for generating the complete prefix and the (existing) tool PEPP for analysing the generated task graph. As a case study, the delay of the first resolution in the root contention phase of the IEEE 1394 serial bus protocol is analysed.
Item Type:Conference or Workshop Item
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63282
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page