Loading...
Please wait, while we are loading the content...
Applying formal methods to gossiping networks with mCRL and GROOVE
| Content Provider | CiteSeerX |
|---|---|
| Author | Rensink, Arend Pol, Jaco Crouzen, Pepijn |
| Abstract | In this paper we explore the pra ti al possibilities of using formal methods to analyze gossiping networks. In parti u-lar, we use CRL and Groove to model the peer sampling servi e, and analyze it through a series of model transforma-tions to CTMCs and nally MRMs. Our tools ompute the expe ted value of various network quality indi ators, su h as average path lengths, over all possible system runs. Both transient and steady state analysis are supported. We om-pare our results with the simulation and emulation results found in [10℄. 1. |
| File Format | |
| Journal | ACM SIGMETRICS Performance evaluation review |
| Access Restriction | Open |
| Content Type | Text |
| Resource Type | Article |