S2Sim is a novel system for automatic routing configuration diagnosis and repair. By deriving a set of contracts that guarantees an intent-compliant variant of the erroneous configuration, S2Sim can systematically check for all contract violations in the configuration via symbolic simulation to pinpoint and repair the errors. S2Sim also introduces optimizations to handle multi-protocol networks and 𝑘-link failure tolerance errors. On this website, we provide an interactive demo to demonstrate the functionality of S2Sim.
See Running Example Try A New NetworkStart the S2Sim demo first, then randomly select errors you want to introduce to the configuration. S2Sim will diagnose errors that impact on reachability in seconds.
Modification on one error configuration component won't trigger other violations.
The searching space is significantly reduced by selective symbolic execution.
Diagnosis and repair results pinpoint the root cause and are easy-understanding.
Diagnosis and repair in minutes with a low memory-usage.