Strukturtreue Modellierung anhand von Signalflussgraphen

Inhalt:
Die Absicherung der funktionalen Sicherheit von Schaltungen und Systemen geschieht kostengünstig mit Hilfe der strukturtreuen Verifikation. Dabei werden die einer realen Struktur zugehörigen Funktionen strukturtreu modelliert. Für jede modellierte Funktion wird die gerichtete Gleichheit zwischen formal hergeleiteter Funktion und der durch die reale Struktur erzeugten Funktion garantiert. Zusätzlich wird sichergestellt, dass die modellierte Funktion ein zur realisierten Funktion nicht zu unterscheidendes gleichwertiges (äquivalentes) Verhalten aufweist. Der Beitrag stellt erstmalig eine strukturtreue Verifikationsmethode anhand von Signalflussgraphen vor. Diese wird mit Hilfe einer digitalen Schaltung plausibilisiert, die Ergebnisse in Signalflussgraphen dargestellt und mit Hilfe einer günstigen Datenkompaktierung abgespeichert. Später soll die Methode mit bekannten, selbst aktivierten Fehlern überprüft werden.