Gossip Protocols:Exploring the Full Validation

Spectrum

François Bonnet, Rana Bakhshi

Wan Fokkink, Boudewijn Haverkort(Verification WG)

Spectrum of Validation

EFFORT / COST

“THINK”

Real system

Emulation Simulation (MC)2 Probabil. Model Chk.

Mathemat.Analysis

Experimental Model based

Instance General

Why exploit the full spectrum?

• Has been successful in other areas and for other types of systems

• Gossip protocols are intrinsically probabilistic

• More formal statement of desired properties needed (to be precise)

• Eases the way to verify and explain system behaviour (quantitative and qualitative)

We Have Good Company!

David Tennenhouse (VP Intel Research):

“ICT is finally reaching a scale where probabilistic methods should play a larger role in system design…”

“…it’s time for CS taking a leap from deterministic models to probabilistic models, in much the way that physics moved from classical to quantum physics”.

Comm. ACM, May 2000, “Proactive Computing”