Abstract: Model-based diagnosis (MBD) is a technique to locate faults in a system with the aid of a model of that system. The model describes the correct behavior of the system, and possibly also the behavior in case of a fault. In the field of model-based diagnosis, most attention has been given to the problem of reasoning: how to derive diagnoses, given a model. When applying MBD in practice, modeling appears to be a problem of equal magnitude. In this paper, we analyze the modeling process, and show how design information can be used in this process. We investigated the use of information in two standard languages for information interchange: EDIF and VHDL. We expect that the results from this research carry over to other design formats. !6
展开▼