Selbstdiagnoseverfahren auf der Grundlage der mathematischen Logik

Zusammenfassung

Es wird gezeigt, wie Probleme der Fehlerentdeckung bei sich selbst testenden Systemen mit Mitteln der mathematischen Logik behandelt werden können. Die dargestellte Methode beruht auf der vollständigen Beschreibung von Testbedingungen und Testaussagen durch Mengen geeigneter logischer Formeln. Die Untersuchung und Auswertung solcher (logischen) Syndrome kann, wie gezeigt wird, mit Mitteln der mathematischen Logik geschehen. Auf ihrer Grundlage werden, in Form von Kalkülen, Verfahren angegeben, mit denen aus (logischen) Syndromen Aussagen über Fehlerzustände der Systemeinheiten gewonnen werden können. Die Allgemeinheit der Beschreibungsmethode erlaubt die Darstellung verschiedenartiger Testsituationen in einheitlicher Weise und damit ihre Behandlung mit den selben Verfahren.