gossip protocols: exploring the full validation spectrum
DESCRIPTION
Gossip Protocols: Exploring the Full Validation Spectrum. Fran ç ois Bonnet, Rana Bakhshi Wan Fokkink, Boudewijn Haverkort ( Verification WG ). EFFORT / COST. “THINK”. Spectrum of Validation. Why exploit the full spectrum?. Has been successful in other areas and for other types of systems - PowerPoint PPT PresentationTRANSCRIPT
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”