Challenges of Distributed Model-Based Diagnosis

The importance of distributed systems is increasing More and more systems are built using multi-agent or service-oriented architectures The size of the resulting! systems also increases. which makes the diagnosis task mote difficult because of the underlying complexity As a consequence distributed diagnosis has become more and more important but usually it is tied to specific modeling concepts or based on particular algorithms whose correctness and completeness is not proven Therefore. we focus in this paper on a general theory for distributed diagnosis, which provides a framework for checking the correctness and completeness of distributed diagnosis algorithms Moreover. we present a simple algorithm and show that correctness and completeness can only be guaranteed uncle! certain assumptions The theory is of importance for industry to ensure the correctness of diagnosis systems in the distributed case