Automatisierte Testumgebung für RT-Schaltungen auf Basis einer neuartigen Fehlerinjektionsbibliothek für FPGAs
Assigned to E. Kapler.
Studienarbeit
Abstract
In dieser Arbeit ist eine automatisierte Testumgebung für RT-Schaltungen erstellt worden. Diese Testumgebung verwendet eine neuartige Fehlerinjektionsbibliothek, die Static Mapping Library (StML). Je Möglichkeit einen Fehler in die Schaltung zu injizieren wird jeweils ein Fehler injiziert und anschließend getestet. Aufgrund der der Beschaffenheit der RT-Schaltung wird eine Verbesserung der Fehlerstellenauswahl vorgestellt. Fehlerinjizierte Schaltungen werden auf einem Field Programmable Gate Array (FPGA) zur Ausführung gebracht, d. h. emuliert. Eine einheitliche Testumgebung wird dadurch erreicht, dass ein System on Chip (SoC) eingesetzt, dessen Bus zum einen für die Anbindung der RT-Schaltung dient und zum anderen die Kommunikation mit einem Steuerrechner nutzt. Die Analyse wird durch die vollständige Stimulation der Testschaltung durchgeführt und in erweiterten Wahrheitstabellen ausgewertet. Es wird das Ergebnis der stimulierten, fehlerfreien RT-Schaltung mit den Ergebnissen der stimulierten, einzeln fehlerinjizierten RT-Schaltungen miteinander verglichen. Es können Aussagen über die Auswirkung eines injizierten Fehlers getroffen werden. Zum Schluss wird die Skalierbarkeit der automatisierten Testumgebung gemessen und diskutiert.