Model-based diagnosis for open systems fault management
Friedrich Steimann, Peter H. Fröhlich, Wolfgang Nejdl · 1999
: The information model chosen by the ISO for the management of open systems is object-oriented. We provide an effective mapping from the structural and behavioural specification of the managed objects of open systems to a compact logical form suitable for model-based diagnosis. Based thereon, we present an efficient algorithm that localizes faults by repairing logical models invalidated through system observations and show that it computes all minimal diagnoses. Keywords: Open Systems Interconnection; fault localization; order-sorted logic; model-based diagnosis; predicate completion. 1 Introduction Open systems are characterized by the possible interaction of an unlimited number of different devices, often made by different manufacturers, coming from different technological generations, and operated by different owners. Any of these devices can fail, and without the use of standardized procedures and protocols, the detection, localization, and correction of faults remains intracta...