Model-based diagnosis for open systems fault management
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.
model-based diagnosis fault management open systems interconnection fault localization order-sorted logic predicate completion