Decentralized Diagnosis of Event-Driven Systems for Safely Reacting to Failures

Abstract-We introduce the notion of safe-codiagnosability, extending the notion of safe-diagnosability [8] to the decentralized setting. For a system, a certain sub-behavior is deemed safe (captured via a safety specification), and a further sub-behavior is deemed non-faulty (captured via a non-fault specification). Safe-codiagnosability requires that when the system executes a trace that is faulty, there exists at least one diagnoser that can detect this within bounded delay and also before the safety specification is violated. The above notion of safe-codiagnosability may also be viewed as an extension of the notion of codiagnosabilit