Gossip Protocols: Exploring the Full Validation Spectrum

1
Gossip ProtocolsExploring the Full Validation
Spectrum

• François Bonnet, Rana Bakhshi
• Wan Fokkink, Boudewijn Haverkort(Verification WG)

2
Spectrum of Validation
EFFORT / COST
THINK
3
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)

4
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
• its 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

5
Reference

• K. Frenkel, Allan L. Scherr Big Blues
  Time-Sharing Pioneer, Comm. ACM, October 1987.