Diagnosability for Patterns in Distributed Discrete Event Systems

Yuhong Yan, Lina Ye, and Philippe Dague
Submission Type: 
Full Paper
phmc_10_124.pdf405.43 KBSeptember 26, 2010 - 8:42pm

A pattern is a set of sequence of events that can represent the occurrence of single faults, multiple faults, multiple occurrence of a fault, or the repair of a system. In distributed systems, the events in the pattern, as well as in the system trajectories, are emitted from different components. Our approach is based on distributed simulation and communication to check recognition of the pattern from the conclusion of local recognition of local patterns. The components communicate global observable events and shared communication events, as well as their local recognition results during the checking process without sharing their local models in any way.

Publication Control Number: 
Submitted by: 

follow us

PHM Society on Facebook Follow PHM Society on Twitter PHM Society on LinkedIn PHM Society RSS News Feed