Our recent work has focused on fully distributed methods to meet global objective goals and to identify erratic system behavior. First, I will describe a self-configuring distributed algorithm designed for massively distributed settings that "spreads" replicated resources or tasks among nodes within a network.
Next, I will present our development of a theory that can be used to detect "misconfigured" nodes that improperly implement the desired distributed protocol. We show how this theory can be used to detect misconfigurations whenever they are detectable, and show some preliminary results in applying the theory to distance-vector and path-vector routing protocols.