DistributedError-Confinement.pptVIP

Distributed Error- Confinement Shay Kutten (Technion) with Boaz Patt-Shamir (Tel Aviv U.) Yossi Azar (Tel Aviv U.) Error Confinement (Formally) ? : problem specification, P: protocol. P solves ? with error confinement if for any execution of P with behavior ? (possibly containing a state corrupting fault), there exists a behavior ?’?? for all non-faulty nodes v: ?’v= ?v Constraining faults: Agility ? c-constrained environment: environment generating faults tf time units after the input, (c ? 1), only in: ? with agility c: Broadcast a