Diagnostic Engines can be classified into one of the following types:
Any of these three types of diagnostic engines can employ Health Monitoring.
The following table outlines the differences between the different types of Diagnostic Engines:
Characteristic
Static Diagnostics
Semi-Dynamic Diagnostics
Dynamic Diagnostics
Diagnostic Conclusions
set of possibleĀ conclusions is predetermined
calculated on-the-fly
calculated on-the-fly
Order of Testing
predetermined
predetermined order which can be overridden
determined on-the-fly
Validation & Verification
deductive
deductive / inductive
inductive
Deployed Components
test order + set of possible conclusions
test order + diagnostic reasoner
test selection algorithm + diagnostic reasoner
Although its diagnostic analyses are based on static diagnostics, eXpress can also be used to develop both dynamic and semi-dynamic diagnostic strategies. The DiagML export, for example, contains information needed to develop all three types of diagnostics.