Model-based reliability and diagnostics: A common framework for reliability and diagnostics

Technical systems are in general not guaranteed to work correctly. They are more or less reliable. One main problem for technical systems is the computation of the relisystem description ability of a system. A second main problem is the problem of diagnostic. In fact, these problems are in some sense dual to each other. In this paper, we will use the concept of probabilistic argumentation systems PAS for modeling the system description as well as observation and specifications of behaviour in one common framework. We show that PAS are a framework which allows to formulate both main problems easily and all combined reasoning concepts for these two problems can clearly be defined therein. Using PAS, reliability and diagnostic can be considered as Figure 1. Reliability versus Diagnostic. dual problems. PAS allows to consider one common strategy for computing answers to the questions in the different situations. The two main problems depend both on a formalization of the system in some framework together with either observa